ts指

拓扑空间

（TopologicalSpace），这是一个数学名词

令一个***非空，其中是***的一个子集族，它满足：

和在中，中任意有限多个成员的交集在中，中任意多个成员的并集在中

则称这个子集族为***上的一个

拓扑

，***和拓扑构成的有序二元组称为

拓扑空间

，中的成员称作这个拓扑空间里的

开集。