por la que definimos una aplicación que, a cada par ordenado (a, u) de A por K, le asigna un b de A.