\begin{definition}[Definition:Irreducible Space/Definition 1]
A topological space $T = \struct {S, \tau}$ is '''irreducible''' {{iff}} there exists no cover of $T$ by two proper closed sets of $T$.
\end{definition}