定义 邻域基

自然语言

给定拓扑空间 $(X,\mathcal{O})$ 与 $x \in X$
给定子集类 $\mathcal{U} \subset \mathcal{O}$
若 $\forall U \in \mathcal{O}$ 且 $x \in U$ ， $\exists U_0 \in \mathcal{U}$ 成立

$$ \bbox[5pt]{ U_0 \subset U } $$

则称子集类 $\mathcal{U}$ 为拓扑空间 $(X,\mathcal{O})$ 中在点 $x$ 处的邻域基