Definition
Irreducible space
A nonempty topological space that is not the union of two proper closed subsets.
Definition
A nonempty topological space is irreducible if it cannot be written as the union of two proper closed subsets. Equivalently, every two nonempty open subsets of intersect.
A subset is irreducible if it is irreducible with its subspace topology. An irreducible component of is a maximal irreducible subset; every irreducible component is closed.
If a point has closure equal to , then is irreducible and is its generic point. In particular, if is an integral domain, then the prime spectrum is irreducible, with generic point .