Eigenschaft einer Teilmenge, aus beliebigen offenen Überdeckungen endliche Teilüberdeckungen zuzulassen.

Es seien M ein metrischer Raum mit der Metrik d und A ⊆ M. Eine Familie (U_i, i ∈ I) mit einer beliebigen Indexmenge I heißt offene Überdeckung von A, falls alle Mengen U_i bezüglich d offen sind und gilt: \begin{eqnarray}A\subseteq \mathop{\bigcup }\limits_{i\in I}{U}_{i}.\end{eqnarray}

Die Menge A heißt kompakt, wenn es zu jeder offenen Überdeckung von A eine endliche Teilüberdeckung gibt, das heißt, wenn es endlich viele Indizes i₁, …, i_k ∈ I gibt mit der Eigenschaft: \begin{eqnarray}A\subseteq \underset{n=1}{\overset{k}{\displaystyle \bigcup }}{U}_{{i}_{n}}.\end{eqnarray}

Die folgenden Bedingungen sind äquivalent:

1. A ist kompakt.
2. Jede Folge in A besitzt einen konvergente Teilfolge, deren Grenzwert in A liegt.
3. Jede Folge in A besitzt einen Häufungspunkt in A.
4. Jede abzählbare offene Überdeckung von A enthält eine endliche Teilüberdeckung.

Siehe auch kompakte Menge, kompakter Raum.