Definition: Total Order A total order of a Set A is a Partial Order of A in which any two elements are comparable: a≤b or b≤a∀a,b∈A