Compact manifold

Symbol-free definition
A compact manifold is a manifold which is compact as a topological space.

Stronger properties

 * Compact differentiable manifold
 * Compact orientable manifold
 * Compact connected manifold

Weaker properties

 * Manifold
 * Space with finitely generated homology