Open Set in Partition Topology is also Closed

Theorem
Let $T = \left({S, \vartheta}\right)$ be a topological space.

Then $T$ is a partition space iff:
 * $\forall U \subseteq S: U \in \vartheta \iff \complement_S \left({U}\right) \in \vartheta$

That is, a topological space is a partition space if and only if all open sets are closed, and all closed sets are also open.

Proof
Let $T = \left({S, \vartheta}\right)$ be a topological space.

Suppose $T$ is a partition space.

Then there exists a partition $\mathcal P$ which forms the basis for $T$.

Let $U \in \vartheta$.

Then $U$ is the union of elements of $\mathcal P$.

Then by definition $\complement_S \left({U}\right)$ is closed in $T$.

Then $\complement_S \left({U}\right)$ is the union of all the other elements of $\mathcal P$.

That is, $\complement_S \left({U}\right)$ is also open in $T$.

By definition, then, $\complement_S \left({\complement_S \left({U}\right)}\right) = U$ is closed in $T$.

Now suppose that every open set in $T$ is closed, and every closed set in $T$ is open.