Past exam of the year 1 of the computer science course of the University of Oxford / 2019 / Discrete mathematics, continuous mathematics, and probability resit / 1 / a / ii

A function $f:X\to Y$ is surjective if every element of its codomain has a preimage: for every $y\in Y$, there is some $x\in X$ such that $f(x)=y$.