En esta operación definimos una aplicación que, a cada elemento a de B, le asigna un b de B.