Generalization of total orderings allowing ties, axiomatized as strict weak orders, total preorders, or ordered partitions