A map is a function f:X->Y

Y is the range of f.

Forall x in X, there exists y in Y s.t. f(x)=y

f^-1(y)= a set with number of elements = 0,1,2, or ...

The image of f, imf = f(X)