A special relation where each element in the domain is related to only one value in the range