Mostre por indução sobre $n$ que o conjunto das funções com domínio de tamanho exatamente $n$ é enumerável.