Source: https://people.montefiore.uliege.be/dtaralla/files/inj-surj-bij.pdf