[jordigh]

Then use \leq, like any other reflexive, antisymmetric, transitive relation.