Irreducible variety
= Irreducible variety
An <algebraic variety> whose underlying <topological space> with its <Zariski topology> is an <irreducible topological space>: it is nonempty and cannot be a union of two proper closed subsets. For a reduced affine variety, this is equivalent to its <coordinate ring> being an <integral domain>.