T_2-分离公理

给定任意两个不同的点 ，存在邻域 和 分别包含 和 ，且 。由此可得，有限子集是闭集。