By definition, the whole space $X$ is open in $T$. Result R2067: Subtracting empty set from set now yields \begin{equation} X \setminus \emptyset = X \in \mathcal{T} \end{equation} The claim follows. $\square$