Corollary 2.23

Corollary 2.23: $$\overline{A}$$ is the smallest closed set containing $$A$$; that is, $$\overline{A} \subseteq C$$ for every closed set $$C$$ containing $$A$$.