 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.