del mismo modo que con la operación formula_59, para todo par ("a", "b") de elementos de "A", existe un único elemento "d" de "A" para el cual formula_60.