Sin embargo, si "m" ∈ "P" es maximal y "P" tiene un máximo, se cumplirá que máx("P") ≤ "m"; por definición de máximo se debe tener "m" ≤ máx("P") y por lo tanto "m" = máx("P"); en otras palabras, un máximo, si existe, es también el único maximal.