Ett T1-rum är en speciell sorts topologiskt rum, T1-egenskapen är ett exempel på ett separationsaxiom.
Definition Ett topologiskt rum är ett T1-rum om och bara om något av följande är uppfyllt: Om och är två punkter i det topologiska rummet finns det alltid öppna mängder sådana att och samt och . Varje mängd som består av ändligt många punkter är sluten. Varje mängd med endast ett element är sluten. Det fixerade ultrafiltret vid x konvergerar enbart till x.
Kategori:Egenskaper hos topologiska rum