(por medio del orden estricto formula_162 dado por a si y solo si formula_173 y formula_196, por supuesto) ; un elemento formula_32 se dice "máximal" de formula_1 si no existe ningún elemento en formula_1 estrictamente mayor que formula_64.