定义 集合的边界

自然语言

给定拓扑空间 $(X,\mathcal{O})$ 与 $X$ 的子集 $A$
定义 $A$ 的边界为

$$ \bbox[5pt]{ \partial{A} \triangleq \overline{A} \backslash A } $$

其中 $\overline{A}$ 为集合 $A$ 的闭包