Definition

A nonempty XX is irreducible if it cannot be written as the union of two proper . Equivalently, every two nonempty open subsets of XX intersect.

A subset ZXZ\subseteq X is irreducible if it is irreducible with its . An irreducible component of XX is a maximal irreducible subset; every irreducible component is closed.

If a point ηX\eta\in X has equal to XX, then XX is irreducible and η\eta is its . In particular, if AA is an , then the SpecA\operatorname{Spec}A is irreducible, with generic point (0)(0).