\begin{definition}[Definition:Irreducible Space/Definition 6]
A topological space $T = \struct {S, \tau}$ is '''irreducible''' {{iff}} the closure of every non-empty open set is the whole space:
:$\forall U \in \tau: U^- = S$
\end{definition}