Sierpiński Space is Irreducible

Theorem
Let $T = \struct {\set {0, 1}, \tau_0}$ be a Sierpiński space.

Then $T$ is irreducible.

Proof
A Sierpiński space is a particular point space by definition.

A Particular Point Space is Irreducible.