Si ahora consideramos cualesquiera elementos "x" e "y" de "A" tales que "x" ≤ "y", entonces podemos usar claremente lo anterior para obtener