A particular relation ⋆ is defined on the set Z2 by (x1, x2) ⋆ (y1, y2) if and only if x1 ≥ y1 and x1 +x2 ≤ y1+y2