Elemento opuesto: Si formula_13 existe formula_14 tal que formula_15.