Indifference relation ($x\sim y⟺x⪰y\text{ and }y⪰x$)

For a preorder, the indifference relation is an equivalence relation. Passing to its equivalence classes removes ties and produces a partial order.