name
AdditiveProperties
MultiplicativeProperties
RingProperties
SpaceProperties
nonZero
RingProperties
nonZeroLaws
RingLaws
normedVectorSpace
VectorSpaceLaws