(Group Theory)

Given a function F between two sets S and T, the function's "image" (symbolized Im F) is the set of elements t of T for which F(s)=t for some s e S.

For example, if F(i) = 2i where i is an integer, the image of F is the set of even integers.