Editing Pointless topology (section)

{{Short description|Mathematical approach}}
In [[mathematics]], '''pointless topology''', also called '''point-free topology''' (or '''pointfree topology''') or '''topology without points''' and '''locale theory''', is an approach to [[topology]] that avoids mentioning [[point (mathematics)|points]], and in which the [[Lattice (order)|lattices]] of [[Open set|open sets]] are the primitive notions.{{sfn|Johnstone|1983|p=41}} In this approach it becomes possible to construct ''topologically interesting'' spaces from purely algebraic data.{{sfn|Johnstone|1983|p=42}}