Hence, f has to be onto Remark The results mentioned in Examples 13 and 14 are also true for an arbitrary
finite set X, i e , a one-one function f : X → X is necessarily onto and an onto map
f : X → X is necessarily one-one, for every finite set X