Se , o número de pares ordenados distintos, , em que e são subconjuntos, disjuntos, de é