El elemento máximo de un conjunto es maximal en ese conjunto.