Con lo que definimos una aplicación que, a cada par ordenado (a, b) de B por B, le asigna un c de B.