Sea ("P", ≤) un conjunto parcialmente ordenado; "m" ∈ "P" es un elemento maximal de "P" si el único "x" ∈ "P" tal que "m" ≤ "x" es "x" = "m".