Exponentiation ensembliste
De Wikipedia, l'encyclopédie encyclopedia
En théorie des ensembles, l'exponentiation ensembliste est l'opération qui, à deux ensembles E et F, associe l'ensemble des applications de E dans F. Cet ensemble est souvent noté[1] FE. On peut aussi le voir comme l'ensemble des familles indexées par E d'éléments de F :