Por "f"("a") se resume la operación o regla que permite obtener el elemento de "B" asociado a un cierto "a" ∈ "A", denominado la imagen de "a".