Från Rilpedia

Ett T₁-rum är en speciell sorts topologiskt rum, T₁-egenskapen är ett exempel på ett separationsaxiom.

Definition

Ett topologiskt rum är ett T₁-rum om något av följande är uppfyllt (villkoren är ekvivalenta):

• Om x och y är två punkter i det topologiska rummet och det finns öppna mängder U,V 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.