Kategorie:Theorie der Trennungseigenschaften (Topologie)/Fakten