Teorem : $A$ kapalıdır $\Leftrightarrow A=\overline {A}$
Varsayalım A kapalı olsun , o halde A tüm limit noktalarını içerir. $A=A'$.
$\overline {A}=A\cup A'\Rightarrow \overline {A}=A$
Varsayalım $A=\overline {A}$ doğru olsun , $\overline {A}=A\cup A'\Rightarrow A=A\cup A'= A'$
şunu elde ettik $A=A'$ , o halde $A$ kapalıdır.