Irreducible topological space (source code)

= Irreducible topological space

A nonempty topological space is irreducible when it is not the union of two proper closed subsets. Equivalently, every two nonempty open subsets intersect.