T_1-空間

一個 -空間是一個滿足 T1-分離公理 的拓撲空間：對於任意兩個點 ，存在兩個開集 和 使得 且 ，以及 且 。在 Alexandroff 和 Hopf (1972) 的術語中，-空間被稱為 Fréchet 空間（但這令人困惑且不符合標準）。

一個 -空間的標準示例是整數集合，其拓撲為具有有限補集的開集。它在有限交和任意並運算下是封閉的，因此是一種拓撲。任何整數的補集都是一個開集，因此給定兩個整數並使用它們的補集作為開集，則 定義得到滿足。一些 -空間不是 T2-空間。