\begin{definition}[Definition:Irreducible Space/Definition 5]
A topological space $T = \struct {S, \tau}$ is '''irreducible''' {{iff}} the interior of every proper closed set of $T$ is empty.
\end{definition}