Sekirov Dictionary

total ordering relation

noun1

  1. (rare) A total order.
forms

total ordering relations

This dictionary works without the internet: on your phone · in Chrome