Sea x un elemento de A y sea y el correspondiente elemento de B asignado a x por la función.