Let $M = (X, \mathcal{T}, d)$ be a D1107: Metric space.
Then
\begin{equation}
\forall \, x \in X :
X \setminus \{ x \} \in X
\end{equation}
▶ | R4007: Singletons are closed in Polish space |
(i) | R499: Metrisable topological space is Hausdorff |
(ii) | R517: Singletons are closed in Hausdorff space |