ordering
A relation.
See
partial ordering
,
pre-order
,
total ordering
.