total ordering relation

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