Closure of one-point subset implies irreducible
Statement
Suppose is a topological space and is a point in . Let be the closure of in . Then, is an irreducible space with the subspace topology from .
Related facts
A sober space is a topological space where the only irreducible closed subsets are the closures of one-point subsets. We have Hausdorff implies sober.