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