Source: https://web.ics.purdue.edu/~pdevlin/Traditional Class/Lesson 27/One-to-one Functions.pdf