定义 集合的闭包

自然语言

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

$$ \bbox[5pt]{ \overline{A} \triangleq A \cup A' } $$

其中 $A'$ 为集合 $A$ 的导集