Dans un ensemble ordonné, un élément maximal est un élément tel qu'il n'existe aucun autre élément de cet ensemble qui lui soit supérieur, c'est-à-dire que a est dit élément maximal d'un ensemble ordonné si a est un élément de E tel que : ∀ x ∈ E, a ≤ x ⇒ x = a. Wikipedia