Solução da dúvida levantada pelo Atol
na aula de hoje: é preciso restringir os casos
a conjuntos próprios e não-vazios.
Caso 1: |N(Z)| > |Z| para todo subconjunto
próprio e não-vazio Z de U.
Caso 2: |N(Y)| = |Y| para algum subconjunto
próprio e não-vazio Y de U.