A function for which every element of the range of the function corresponds to exactly one element of the domain.