Source: https://textbooks.math.gatech.edu/ila/one-to-one-onto.html.pdf