In mathematics, pointless topology, also called point-free topology (or pointfree topology) and locale theory, is an approach to topology that avoids mentioning points, and in which the lattices of open sets are the primitive notions.[1] In this approach it becomes possible to construct topologically interesting spaces from purely algebraic data.[2]