Equivalence of Definitions of Closed Set in Metric Space

Theorem
Let $M = \left({A, d}\right)$ be a metric space.

Let $H \subseteq A$.

The following definitions for $H$ to be closed in $M$ are equivalent:

Also see

 * Complement of Closed Set in Complex Plane is Open
 * Complement of Open Set in Complex Plane is Closed