Also, how do the "define (a,b) <= (c,d) iff (a<=c) and d<=b" come into play? Where do account for a being less than or equal to c and d being less than or equal to b? I am still unsure how to show P.O. Anymore help is appreciated.