假设X是一个集合， 如果存在一系列X的子集合满足下面的条件，那么每个这样的子集就称为X的一个开集，X称为拓扑空间。

空集和X为开集；有限多个开集之交为开集（无穷多个开集的交集未必是开集）；任意多个开集之并为开集。