Kompakte Menge

Teilmenge eines topologischen Raums, so dass jede offene Überdeckung eine endliche Teilüberdeckung besitzt; in metrischen Räumen äquivalent zu der Eigenschaft, dass jede Folge eine konvergente Teilfolge hat (sequentielle Kompaktheit) bzw. dass die Menge vollständig und total beschränkt ist.