hasAdditiveInverses
BaseProperties
hasMultiplicativeInverse
BaseProperties