Source: http://christophebertault.fr/documents/coursetexercices/Cours%20-%20Injections,%20surjections,%20bijections.pdf