Indifference relation
= Indifference relation
{title2=$x\sim y\iff x\succeq y\text{ and }y\succeq x$}
For a <preorder>, the <indifference relation> is an <equivalence relation>. Passing to its equivalence classes removes ties and produces a <partial order>.