Intercambiando ≤ con ≥ obtenemos la definición de maximal.