By definition, the D13: Empty set $\emptyset$ is open in $T$. Result R2066: Difference of set with itself now yields \begin{equation} X \setminus X = \emptyset \in \mathcal{T} \end{equation} The claim follows. $\square$