En matemáticas, y particularmente en teoría del orden, dado un conjunto parcialmente ordenado ("A",≤), un elemento "a" ∈ "A" es el elemento máximo de "A" si cualquier otro elemento de "A" es menor o igual que él; es decir, si para todo "x" ∈ "A", "x" ≤ "a".