User:Leigh.Samphier/StoneSpaces

Common	List of Templates	Basic Refactoring	Missing Sources	List of Pages

Stone Spaces

• Definitions related to Stone Spaces can be found here.
• Results about Stone Spaces can be found here.

• 1982: Peter T. Johnstone: Stone Spaces: Chapter $\text I$: Preliminaries, Definition $1.3$

Join Semilattice Ordered Subset Not Always Subsemilattice