Un elemento formula_32 tal que formula_183 para todo formula_174 se dice "elemento máximo" (o "último elemento") de formula_1.