Irreducible closed subset
= Irreducible closed subset
A nonempty <closed subset> which, with its induced <topology>, is an <irreducible topological space>. In an <affine algebraic set> these subsets correspond, with reversed inclusion, to <prime ideals> of the <coordinate ring>.