BaseLaws

laws

BoundArbitrary

SpireArbitrary

base

AdditiveProperties MultiplicativeProperties AdditiveProperties MultiplicativeProperties

bases

ActionProperties AdditiveProperties MultiplicativeProperties AdditiveProperties LatticeProperties LatticePartialOrderProperties ActionProperties MultiplicativeProperties RingProperties SpaceProperties

bool

LogicLaws

boundedAboveLattice

LatticeLaws

boundedAboveLatticePartialOrder

LatticePartialOrderLaws

boundedBelowLattice

LatticeLaws

boundedBelowLatticePartialOrder

LatticePartialOrderLaws

boundedJoinSemilattice

LatticeLaws

boundedJoinSemilatticePartialOrder

LatticePartialOrderLaws

boundedLattice

LatticeLaws

boundedLatticePartialOrder

LatticePartialOrderLaws

boundedMeetSemilattice

LatticeLaws

boundedMeetSemilatticePartialOrder

LatticePartialOrderLaws