Return a CommutativeRig using join and meet.
Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.
This is the lattice with meet and join swapped
This is the lattice with meet and join swapped
A bounded distributive lattice is a lattice that both bounded and distributive