Ein Element m in einer geordneten Menge M (mit der Ordnung  \(\)<[/latex]) heißt maximal, wenn für jedes Element x gilt: \(\)x, d.h. kein Element größer als m ist.