Category of ordered sets


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 — Compare if element is less

_less(x, y)

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

Mathematical Methods

_leequal — Compare if element is less or equal

_leequal(x, y)

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

Was this topic helpful?