MathWorks Machine Translation
The automated translation of this page is provided by a general purpose third party translator tool.
MathWorks does not warrant, and disclaims all liability for, the accuracy, suitability, or fitness for purpose of the translation.
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