Ax::canonicalOrder

Axiom of canonically ordered sets

Description

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?