name

BaseRuleSet DeMorganProperties GroupProperties LatticeProperties LatticePartialOrderProperties LogicProperties AdditiveProperties MultiplicativeProperties RingProperties

nonZeroBase

MultiplicativeProperties

nonZeroLaws

RingLaws