This is machine translation

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

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.


Category of ordered sets

MuPAD® notebooks are not recommended. Use MATLAB® live scripts instead.

MATLAB live scripts support most MuPAD functionality, though there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.


Cat::OrderedSet represents the category of ordered sets.

An Cat::OrderedSet is a set with a (complete) order relation < (_less).

Use the axiom Ax::canonicalOrder to state that elements of a domain are canonically ordered as MuPAD® expressions (i.e. ordered with respect to the kernel function _less).


expand all

Basic Methods

_less(x, y)

An implementation is provided if this domain has axiom Ax::canonicalOrder.

Mathematical Methods

_leequal(x, y)

The implementation provided uses the methods "_less" and "equal".

max(x, …)

min(x, …)


Was this topic helpful?