exo7 2920

Soient $E,F$, deux ensembles non vides. On définit deux relations sur $X = F^E$ par : $$\begin{matrix} f \sim g &\iff &\exists\ \phi : F \to F \text{ bijective tq } g=\phi\circ f,\hfill\cr f \equiv g &\iff &\bigl( \forall\ x,y \in E,\ f(x)=f(y)\iff g(x)=g(y)\bigr).\cr \end{matrix}$$