T_2-分離公理

給定任意兩個不同的點 ，存在鄰域 和 分別包含 和 ，且 。由此可得，有限子集是閉集。