Arelation in which each element of domain corresponds to exactly one element of range​