Si formula_1 es un conjunto totalmente ordenado se dice que formula_2 es el primer elemento o elemento mínimo de formula_1 si satisface: