Proof
(related to Proposition: Characterization of $T_1$ Spaces)
By hypothesis, $(X,\mathcal O)$ is a topological space.
"$\Rightarrow$"
 Assume, $X$ is a $T_1$ space.
 Let $\{x\}\subseteq X$ be a singleton subset of $X.$
 Case 1: The set difference is empty, i.e. $X\setminus \{x\}=\emptyset.$
 Then $\{x\}=X$ and $\{x\}$ is closed.
 Case 2: $X\setminus \{x\}\neq \emptyset.$
 Then there is an $y\in X\setminus \{x\}$ with $y\neq x$
 Since $X$ is a $T_1$ space, there is an open set $U\in\mathcal O$ with $x\not\in U$ and $y\in U\subseteq X\setminus \{x\}.$
 Since this is the case for every such $y$, the set $X\setminus\{x\}$ is open.
 Thus, $\{x\}$ is closed.
"$\Leftarrow$"
 Assume, every singleton subset of $X$ is closed.
 Let $x,y\in X$ with $x\neq y.$
 Since $\{x\}$ and $\{y\}$ are closed, $X\setminus\{x\}$ and $X\setminus\{y\}$ are open.
 Moreover, $X\setminus\{x\}$ is an open set not containing $y$ and $X\setminus\{y\}$ is an open set not containing $x.$
 Thus, $X$ is a $T_1$ space.
∎
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Grotemeyer, K.P.: "Topologie", B.I.Wissenschaftsverlag, 1969