Hola:
Hay algunos errores:
a) x₁ es el máximo de A:
- estás exigiendo que x₁ < x₁. Tendrías que decir que x₁ es mayor o igual que todo elemento del universo.
c) No hay ningún elementro entre x₁ y x₂
- tendrías que decir que x₁ es sucesor inmediato de x₂ o que x₂ es sucesor inmediato de x₁.
La función cuadrado es creciente.
- alcanza con decir que si x₁ < x₂ entonces x₁² < x₂². No se necesita x₃.