Máximo

Sea $(A , \geq)$ un conjunto con una ley de orden, y B un subconjunto de A diremos que $b$ es un máximo en $B$ si cumple que es mayor o igual que cualquier elemento de $B$ $b_i \in B $.

El máximo no tiene por que existir.