Kategorie:Theorie der kompakten metrischen Räume/Definitionen