Não tenho certeza se estar correto ,mas obtive como resposta ,de qualquer forma vou postar o que pensei .
Defina tal que para cada par ordenado em fixado, tem-se .Como e para cada par ordenado (x,y) é possível definir operações binárias em A ,então ao todo é possível definir operações binárias em A .
Está errado . Sejam conjuntos com respectivas cardinalidades . Defina e mostremos que há aplicações do conjunto ao .
Suponha e .
Veja o esquema a figura abaixo :
segmentos de retas verticais com as possíveis imagens pela aplicação :
Parti (L_1) e chegar em (em L_2) significar que é possível definir uma aplicação tal que é levado a imagem e é levado a imagem . Uma aplicação ficará bem determinada quando escolhemos um caminho que nos conecta de um ponto de ao outro de (i=1,... p-1) .
Objetivo migar de e ao longo de :
Partindo de há formas de chegar em pelo que também há maneiras de chegar em ,..., e o mesmo para chegar em de . Por estes esquema há (p-vezes) de executar e portanto há aplicações do conjunto ao .