sober space noun1 •A topological space of which every join-irreducible closed subset is the closure of exactly one point of the space.In the Hofmann and Lawson paper, it is proved that the topological space Spec(L) is a locally quasicompact sober space […] . — 1983 formssober spaces