Axiom of canonically ordered sets
Ax::canonicalOrder states that a domain has
an order < (_less) which is defined by the canonical
order of the MuPAD® expressions.
This implies that the order of two elements is defined by the
system function _less.
Choose your country to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a location from the following list:
See all countries