Pointless Topology

Point-Free Topology

Topological approach that uses lattices of opens as a primitive notion rather than a set of points.