a weak partially-ordered relation r on set a is a total order if every pair of elements a, b ∈ a are comparable.
a weak partially-ordered relation r on set a is a total order if every pair of elements a, b ∈ a are comparable.
linear partial order  every two elements from a are comparable.