For any function (where and are any sets), the kernel (also called the null space) is defined by
so the kernel gives the elements from the original set that are mapped to zero by the function. is therefore a subset of
The related image of a function is defined by
is therefore a subset of .