User:Leigh.Samphier/Sandbox/Stone Spaces

Stone Spaces

 * : Chapter $\text I$: Preliminaries, Definition $1.3$
 * Join Semilattice Ordered Subset Not Always Subsemilattice