Definition: Total Order

A total order of a Set is a Partial Order of in which any two elements are comparable: