Show that the relation on the set of all relations is a partial order

33 Views Asked by At

img

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?