ComputerScienceMathOrderTheory A linear or total ordering on a set is a partial order such that every two elements are comparable: