Necesitamos mostrar que (a) si x ≤ y y z ≤ w, entonces min (x, z) ≤ min (y, w), (b) min (x, sí) = x = min (sí, x), (c) min (min (x, y), z) = min (x, min (y, z)), y (d) min (x, y) = min (y, z). De hech...Necesitamos mostrar que (a) si x ≤ y y z ≤ w, entonces min (x, z) ≤ min (y, w), (b) min (x, sí) = x = min (sí, x), (c) min (min (x, y), z) = min (x, min (y, z)), y (d) min (x, y) = min (y, z). De hecho, el hecho de que≅ (x y) (y x) en X significa que (x y) ≤ (y x) e (y x) ) ≤ (x y) en X, lo que implica respectivamente que (y x) ≤ (x y) y (x y) ≤ (y x) en Xop, y por lo tanto que (x y) ≅(y x) en Xop también.
