Un elemento formula_32 tal que formula_173 para todo formula_174 se dice "elemento mínimo" (o "primer elemento") de formula_1.