Proposition 1.8.2.10.
≤ is a partial order
No proof.