Weak ordering

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

Pronunciation

Categories