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}