what is the relation between two sets that associates every element of the first set to exactly one element of the second set.