定义 拓扑

自然语言

给定非空集合 $X$ 和其上的子集类 $\mathcal{O} \subset 2^X$ 满足以下三条性质
（1）（包含空集和全集） $\varnothing \in \mathcal{O} , X \in \mathcal{O}$
（2）（有限交封闭） $\forall A,B \in \mathcal{O} , A \cap B \in \mathcal{O}$
（3）（任意并封闭） $\displaystyle \forall \{A_\alpha\} \subset \mathcal{O} , \bigcup_{\alpha}{A_\alpha} \in \mathcal{O}$
则称子集类 $\mathcal{O} \subset 2^X$ 为集合 $X$ 上的拓扑