\begin{definition}[Definition:Closed Set/Metric Space/Definition 1]
Let $M = \struct {A, d}$ be a metric space.
Let $H \subseteq A$.
'''$H$ is closed (in $M$)''' {{iff}} its complement $A \setminus H$ is open in $M$.
\end{definition}