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