User:Leigh.Samphier/Topology/Definition:Locale of Topological Space

Definition

Let $T = \struct{S, \tau}$ be a topological space.

The locale of $T$, denoted $\map \Omega T$, is the ordered set $\struct{\tau, \subseteq}$ where $\subseteq$ denotes the subset relation on $\tau$.

Also see

• User:Leigh.Samphier/Topology/Locale of Topological Space is Locale