Si un conjunto tiene mínimo (máximo), éste es a su vez el único minimal (maximal) del conjunto.