Definition D17 Let AAA and BBB be two sets and let fff be a mapping of AAA into BBB. If E⊂AE\subset AE⊂A, f(E)f(E)f(E) is defined to be the set of all elements f(x)f(x)f(x), for x∈Ex\in Ex∈E. We call f(E)f(E)f(E) the image of EEE under fff. If f(A)=Bf(A)=Bf(A)=B, we say that fff maps AAA onto BBB.