半分离公理的等价性

<正>文1]中只给出了部分半分离性的等价形式,在此将半T:(i=0,1,2,3,4)公理都给以等价形式,并将文1]中已给出的等价形式加以扩充.定义1拓扑空间X的子集A称为X中的半开集当且仅当存在X中的开集O,使得O(?)A(?)(?).X中所有半开集所组成的族记为S.O(X).定义2设X为拓扑空间,x∈X,u(?)X.如果存在一个包含x的半开集v包含于u.