4. Working with functions. In this question, we will explore various properties of functions. You may want to review the basic definitions and terminology introduced on pages 15–16 of the course...

Extracted text: 4. Working with functions. In this question, we will explore various properties of functions. You may want to review the basic definitions and terminology introduced on pages 15–16 of the course notes. Then, read the following definitions carefully. Definition: A function f : A → B is one-to-one iff no two elements of A have the same image. Symbol- ically, Va1, a2 E A, f(a1) = f(a2) → a1 = a2. (3) Definition: A function f: A → B is onto iff every element of B is the image of at least one element from A. Symbolically, VbE В, За Е А, f (a) — b. (4) Definition: For all functions f : A → B and g : B → C, their composition is the function g o f : A → C defined by: Va e A, (go f)(a) = g(f(a)). (5) (b) Give explicit, concrete definitions for two functions f1, f2 : Z → Z† such that: i. f2 is onto but not one-to-one, ii. fi is one-to-one but not onto, and prove that each of your functions has the desired properties.