Partition Topology is not T0

Theorem
Let $S$ be a set and let $\PP$ be a partition on $S$ which is not the (trivial) partition of singletons.

Let $T = \struct {S, \tau}$ be the partition space whose basis is $\PP$.

Then $T$ is not a $T_0$ (Kolmogorov) space.

Proof
As $\PP$ is not the partition of singletons, there exists some $H \in \PP$ such that $a, b \in H: a \ne b$.

Any union of sets from $\PP$ which includes $H$ will therefore contain both $a$ and $b$.

Therefore, any element of $\tau$ containing $a$ will also contain $b$, and similarly, any element of $\tau$ containing $b$ will also contain $a$.

So there is no open set in $T$ containing $a$ and not $b$, or $b$ and not $a$.

Hence the result, by definition of $T_0$ (Kolmogorov) space.

Note the reason for the exception in the statement as given.

If $\PP$ is the partition of singletons:
 * $\PP = \set {\set x: x \in S}$

then $T$ as constructed is the discrete topology on $S$.

From Discrete Space satisfies all Separation Properties, in that case $T$ does satisfy the $T_0$ property.