Passage in the proof of Stone duality – math.stackexchange.com

Definitions. Category $\sf SpS$ of spectral spaces. An object in $\sf SpS$ is a spectral space, i.e. a $T_0$ compact space such that (1) any irreducible subset is the closure of a point and such that ...