\begin{definition}[Definition:Irreducible Space/Definition 4]
A topological space $T = \struct {S, \tau}$ is '''irreducible''' {{iff}} every non-empty open set of $T$ is (everywhere) dense in $T$.
\end{definition}