In der Analysis werden bekanntlich Teilmengen des euklidischen Raumes $\mathbb R^n$ als kompakt bezeichnet, wenn sie beschränkt und abgeschlossen sind. Im Folgenden soll dieser Begriff verallgemeinert werden auf Teilmengen beliebiger topologischer Räume.