aka simple or linear order
A total ordering is a binary Relation in a set XXX, defined as a Partial ordering, ⪯\preceq⪯, such that for any x,y∈Xx, y \in Xx,y∈X either x⪯yx \preceq y x⪯y or y⪯xy \preceq xy⪯x (all pairs of elements are comparable). The set is then said to be totally ordered.