Every Preorder Relation induces an Order Relation

Last updated Nov 1, 2022

Let $(P, R)$ be a Preorder. Then there exists an Equivalence Relation $\sim$ on $P$ so that $(P/\sim,R/\sim)$ is a Partial Ordering.