im(f) := { y ∈ B: hay un x en A tal que f(x) = y }.