Se A for um conjunto não vazio e se o número de elementos do...
e operações com conjuntos.
for igual ao número de elementos do conjunto
então o conjunto B terá pelo menos um elemento.
for igual ao número de elementos do conjunto
então o conjunto B terá pelo menos um elemento.