Definition:Irreducible Space/Definition 6

Definition
A topological space $T = \struct {S, \tau}$ is irreducible the closure of every non-empty open set is the whole space:
 * $\forall U \in \tau: U \ne \O \implies U^- = S$

Also see

 * Equivalence of Definitions of Irreducible Space