Sendo A e B conjuntos, pode ser provado que n(A U B) = n(A) ...
Sendo A e B conjuntos, pode ser provado que n(A U B) = n(A) + n(B) - n(A ∩ B). Se a quantidade de inteiros entre 1 e 1000 divisíveis por 3 é 333, a quantidade de inteiros entre 1 e 1000 divisíveis por 21 é 47 e a quantidade de inteiros entre 1 e 1000 divisíveis por 3 ou 7 é 428, então a quantidade de inteiros entre 1 e 1000 divisíveis por 7 é:
