Finite Subset of Metric Space is Closed

Theorem
Let $X$ be a metric space.

Let $A \subseteq X$ be finite.

Then $A$ is closed in $X$.

Proof
From Metric Space is Hausdorff, $X$ is Hausdorff.

From Finite Subspace of Hausdorff Space is Closed, $A$ is closed.