Si formula_7 se dice que formula_23 es "antecedente" de formula_24 por medio de formula_3, y que formula_24 es "imagen" de formula_23 por medio de formula_3.