Salut,
En fait
,...,f(a_n)))
où
Donc pour faire simple, tu numérotes les éléments de E, et tu définis ta fonction

comme étant celle qui à une certaine fonction f allant de E dans F associe le n-uplet formé des images des éléments de E par f.
Quand tu écris f(x)=blabla habituellement, tu définis la fonction f par une opération algébrique : +,-,x,etc.
Mais ça revient à désigner un élément de R comme image de x. Et c'est ce qu'on fait là.
Par exemple, quand tu as une suite

, il ne s'agit ni plus ni moins que d'une fonction qui à tout élément de N associe "quelque chose", par exemple un réel, via une formule, une récurrence, ou en les "désignant".
Revenons au problème.
Tu dois montrer que
=\phi(g) \Rightarrow f=g)
Comment tu fais ça ? Eh bien une fonction est caractérisée par l'image des points de son ensemble de départ.
Par exemple si on travaillait dans R, tu dirais que f=g si et seulement si tu avais pour tout x dans R f(x)=g(x).
Eh bien ici c'est pareil, sauf que tu n'as que n éléments dans E.