(Relaciones de orden asociadas) Asociada con la relación ≤ tenemos "x < y" que quiere decir que (x ≤ y) pero que (x ≠ y).