Are the following set of ordered pairs function ? If so, examine whether the mapping is injective or surjective: {(a, b) : a is a person, b is an ancestor of a}