Kategorie:Topologie der kompakten Konvergenz/Definitionen