Un elemento "m" ∈ "P" es "maximal" si el único "x" ∈ "P" tal que "m" ≤ "x" es "m" mismo.