Además, si formula_213 es el conjunto de cotas inferiores de formula_206, entonces formula_215 solo puede ser vacío o ser un conjunto con un solo elemento.