In mathematics, a topological space X is said to be spectral if

• 1) X is compact and T₀;
• 2) The set C(X) of all compact-open subsets of (X,Ω) is a sublattice of Ω and a base for the topology;
• 3) X is sober, that is any closed set F which is not a closure of a singleton {x} is a union of two closed sets which differ from F.

External link

• see 8.3 - Definition 6 and bibliography