DEFINITION A function f : A B is onto B (called a surjection) iff Rng(f) = B. We write f : A B to indicate that f is a surjection. Look at the illustration on page…