Ax::canonicalRep
-- the
axiom of canonically representationAx::canonicalRep
states that domain elements are
canonically represented.
Ax::canonicalRep()
Ax::canonicalRep
is used to state that the
elements of a domain are represented canonically, i.e. that each
element of the domain has only one unique expression which represents
it.Ax::normalRep
also holds. This is
not enforced by the category but must be stated by the implementor of a
domain.