Corollary 2.24

Corollary 2.24: A set $$K$$ is closed in $$X$$ if and only if $$K = \overline{K}$$.