Trivial Topological Space is Irreducible

Theorem
Let $T = \struct {\set s, \tau}$ be a trivial topological space.

Then $T$ is irreducible.

Proof
Follows from:
 * Trivial Topological Space is Indiscrete
 * Indiscrete Space is Irreducible