 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2013/discrete-mathematics-probability-and-continuous-mathematics/1/d/iii/solution

The function is injective, also called one-to-one, when equal outputs force equal inputs:

\forall a, a^{'} \in A, f (a) = f (a^{'}) ⟹ a = a^{'} .

Equivalently, different elements of the domain of a function always have different images.

 New to topics? Read the docs here!