La razón es que, en general, ≤ es sólo un orden parcial en "P"; si "m" es un maximal y "p" ∈ "P", cabe la posibilidad de que ni "p" ≤ "m" ni "m" ≤ "p", con lo que "m" no sería máximo.