Category of ordered sets

MuPAD® notebooks will be removed in a future release. 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, …)