total relation
binary endorelation such that for every pair of elements either first is related with second or second is related with first
weak ordering
generalization of total orderings allowing ties, axiomatized as strict weak orders, total preorders, or ordered partitions