This is machine translation

Translated by Microsoft
Mouse over text to see original. Click the button below to return to the English verison of the page.


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.

Was this topic helpful?