name
LatticeProperties
LatticePartialOrderProperties
LogicProperties
AdditiveProperties
MultiplicativeProperties
RingProperties
nonZeroBase
MultiplicativeProperties
nonZeroLaws
RingLaws