Equivalent characterization of separation of topological space

• 拓扑空间分离性的等价刻划