Let $T = (X, \mathcal{T})$ be a D1106: Topological space.
A D11: Set $F \subseteq X$ is closed in $T$ if and only if \begin{equation} X \setminus F \in \mathcal{T} \end{equation}