Closure of one-point subset implies irreducible

From Topospaces

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.