Considere os conjuntos e . Pode-se afirmar que é