Para toda flecha formula_37 y para todo elemento "f" de formula_38, podemos escribir :