compact manifold

C66506
concept

A compact manifold is a topological manifold that is compact as a space, meaning it is closed and bounded in an appropriate sense and every open cover has a finite subcover.

Instances (1)

Instance Via concept surface
4-sphere S^4