A relation in which each element of the domain is paired with exactly one element of the range?

A relation where each element of the domain is paired with only one element of the range is a one to one function. A one to one function may also be an onto function if all elements of the range are paired.