Aplícase ao elemento dun subconxunto B dun conxunto ordenado A, elemento de A que é maior que calquera elemento de B. Tm s m.