Por "f"("a") se denota la regla o algoritmo para obtener la imagen de un cierto objeto arbitrario "a" del dominio "A", es decir, el (único) objeto de "B" que le corresponde.