Quantale
From Free net encyclopedia
In mathematics, quantales are certain partially ordered algebraic structures which generalize frames (pointless topologies) as well as various lattices of multiplicative ideals from ring theory and functional analysis (C*-algebras, von Neumann algebras).
A quantale is a complete lattice Q with an associative binary multiplication satisfying
- x * sup { xi | i in I } = sup { x * xi | i in I }
- sup { xi | i in I } * x = sup { xi * x | i in I }
for all x, xi in Q, i in I (here I is any index set).
[edit]