X/~ == {{x}: x in X, forall y in {x} y~x} is a partition of the set into equivalence classes. forall a,b in X/~ a>b <=> x>y for a in {x} and b in {y}