En matemáticas, especialmente en teoría del orden, un elemento maximal de un conjunto parcialmente ordenado "A" es un elemento de "A" que no es menor que cualquier otro.