por la que definimos una aplicación que a cada elemento a de A se le asigna un único b de B.