 Indifference relation

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