Definition, synonyms and related words
A kind of partially ordered algebraic structure that generalizes locales (point free topologies) as well as various multiplicative lattices of ideals from ring theory and functional analysis.