Here the given set of ordered pairs is not a function since a person has many ancestors (e.g) father, mother, grand father, grand mother, great grand father, great grand mother and so on. So in this case the image f(a) of an element a of the domain is not unique.