
I've tried looking at similar problems but what confuses me here is that this regards relationships between relations (if I've understood it correctly).
My method has been to try and show that $\leq$ satisfies the three conditions of a partial order, but how do I actually for instance show that if ~1 $\leq$ ~2 and ~2$\leq$~1 this implies ~1=~2?