Axiom of normal representation


Ax::normalRep states that an abelian monoid has a canonical representation of its zero element, i.e., that there is only one unique expression to represent zero.

If the axiom Ax::normalRep holds for a domain dom, one may test for zero by comparing an element with dom::zero using the system function _equal.

Was this topic helpful?