(

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.