Algebra.Lattice

class C a

max

min

abs

propUpCommutative

propDnCommutative

propUpAssociative

propDnAssociative

propUpDnDistributive

propDnUpDistributive