\begin{definition}[Definition:Compact Space/Metric Space]
Let $M = \left({A, d}\right)$ be a metric space.
Let $\tau$ denote the topology on $A$ induced by $d$.
Then $M$ is '''compact''' {{iff}} $\left({A, \tau}\right)$ is a compact topological space.
\end{definition}