Noun
quantale (plural quantales) (mathematics) 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.