Source: https://www.math.univ-toulouse.fr/~msablik/Cours/MathDiscretes/Slide3-Cardinalite.pdf