weak ordering
generalization of total orderings allowing ties, axiomatized as strict weak orders, total preorders, or ordered partitions
total order
ordering relation where all elements can be compared; binary relation on some set, which is antisymmetric, transitive, and total