la operación siempre está definida en formula_7 para cualesquiera dos elementos dados en formula_7.