Thank you for reporting, we will resolve it shortly
Q.
The function $f_4$ defined by
Relations and Functions - Part 2
Solution:
Since, distinct elements of $X_1$ have distinct images in $X_4$ and every element in $X_4$ has a unique pre image in $X_1$.
$\therefore $ The function $f_4$ is both one-one and onto.
$\rightarrow f_4$ is bijective.