Ax::canonicalRep -- the
axiom of canonically representation
IntroductionAx::canonicalRep states that domain elements are
canonically represented.
Generating
the axiomAx::canonicalRep()
DetailsAx::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.