Wiktionary
total ordering relation
n. (context mathematics rare English) A total order.
n. (context mathematics rare English) A total order.