## `Ax::canonicalRep` -- the axiom of canonically representation

#### Introduction

`Ax::canonicalRep` states that domain elements are canonically represented.

#### Generating the axiom

`Ax::canonicalRep()`

#### Details

- The axiom `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.
- This axiom implies that for an abelian monoid the axiom `Ax::normalRep` also holds. This is not enforced by the category but must be stated by the implementor of a domain.

#### Changes

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000