Otras carreras Demostrar en ZFC que el número de funciones A entre 2 conjuntos A y B (B es el recorrido y A el dominio)

[Everett IV]

[FONT=verdana]Me he equivocado en el título, A es el dominio de cada función, no el número de funciones, que no le he asignado ningúna letra. La pregunta:

Demostrar en ZFC que el número de funciones entre 2 conjuntos A y B (o sea, funciones : [/FONT][FONT=verdana]) es [/FONT][FONT=verdana].[/FONT]

[FONT=verdana] Salvo para [/FONT][FONT=verdana] que se puede hacer una biyeccion entre cualquier conjunto de cardinal A y cualquier conjunto de 2 elementos , no sé demostrarlo. Los cardinales de A y B son finitos o transfinitos[/FONT]