Kompaktheit

Eine topologische Eigenschaft: Ein Raum ist kompakt, wenn jede offene Überdeckung eine endliche Teilüberdeckung besitzt; in metrischen Räumen oft äquivalent zur sequentiellen Kompaktheit und in euklidischen Räumen zu abgeschlossen und beschränkt.

Eine topologische Eigenschaft einer Menge, die besagt, dass jede Folge in der Menge eine konvergente Teilfolge besitzt, deren Limes in der Menge liegt; in metrischen Räumen äquivalent zur sequentiellen Kompaktheit.