Wiktionary
total ordering relations
n. (total ordering relation English)
n. (total ordering relation English)