Ax::normalRep -- the axiom of
normal representation
IntroductionAx::normalRep states that an abelian monoid has a
canonically representation of its zero element.
Generating
the axiomAx::normalRep()
DetailsAx::normalRep is used to state that an
abelian monoid has a canonically representation of its zero element,
i.e., that there is only one unique expression to represent zero.Ax::normalRep holds for a domain
dom, one may test for zero by comparing an element with
dom::zero using the system function _equal.