Considerando que A, B e C sejam três conjuntos não vazios com a, b e c elementos cada, respectivamente, que a união tenha elementos, que a interseção tenha elementos e que o conjunto seja vazio, então o conjunto terá mais elementos do que o conjunto .