name
BaseRuleSet
AdditiveProperties
GroupProperties
LatticeProperties
LatticePartialOrderProperties
LogicProperties
MultiplicativeProperties
RingProperties
nonZero
RingProperties
nonZeroLaws
RingLaws