Total ordering

cosmos 25th September 2017 at 4:59pm
Ordering

aka simple or linear order

A total ordering is a binary Relation in a set XX, defined as a Partial ordering, \preceq, such that for any x,yXx, y \in X either xyx \preceq y or yxy \preceq x (all pairs of elements are comparable). The set is then said to be totally ordered.