Are the following set of ordered pairs functions? If so, examine whether the mapping is injective or surjective.

(i) {(x, y): x is a person, y is the mother of x}.


(ii){(a, b): a is a person, b is an ancestor of a}.

(i){(x, y): x is a person, y is the mother of x}.


Here, (x, y) is an ordered pair which associates each person (x) to his(her) mother (y).


Now, each person will have only one mother so we can say that for each value of x there is an association to a unique value of y.


Hence,(x, y) represent a function.


Also, more than one person may have same mother.


i.e., two or more distinct value of x may have same value of y.


So, (x, y) is many-one function or surjective.


(ii){(a, b): a is a person, b is an ancestor of a}.


Here, (a, b) is an ordered pair which associates each person (a) to his(her) ancestor (b).


Now, any person can have more than one ancestor so we can say that each value of a does not have a unique value of b.


Hence, (a,b) does not represent a function.


8