Kategorie:Theorie der Kompaktheit (Topologie)/Definitionen