Denotemos por o número de elementos de um conjunto finito . Sejam , e conjuntos tais que , , , e . Então é igual a: