Esto se define por los órdenes originales haciendo ("a", "x") ≤ ("b", "y") si "a" ≤ "b" y "x" ≤ "y".