2 (ii) and (iii) are many-one Definition 6 A function f : X → Y is said to be onto (or surjective), if every element
of Y is the image of some element of X under f, i e , for every y ∈ Y, there exists an
element x in X such that f (x) = y