por la que definimos una aplicación que a cada par ordenado (a,b) de U por U se le asigna un c de U.