Ax::canonicalOrder -- the
axiom of canonically ordered sets
IntroductionAx::canonicalOrder states that domain elements are
canonically ordered.
Generating
the axiomAx::canonicalOrder()
DetailsAx::canonicalOrder is used to state that a
domain has an order < (_less) which is defined by the
canonical order of the MuPAD-expressions._less.