|
Definition of Total order
1. Noun. (set theory) A relation that is reflexive, antisymmetric, and transitive (i.e., that is a partial order), and having the property that for any two elements of its set, one is related to the other. ¹
¹ Source: wiktionary.com