total order Synonyms

linear order linear ordering total ordering total ordering relation