total ordering relation
English
Noun
total
ordering
relation
(
plural
total ordering relations
)
(
mathematics
,
rare
)
A
total order
.