ordering

A relation.

See partial ordering, pre-order, total ordering.


Loading