Definition 1.2.4: Image and Preimage
Let A and B be two sets and f a function from
A to B. Then the image of f is defined as
- imag(f) = {b B : there is an a A with f(a) = b}.
- f -1 (C) = {x A : f(x) C }