bonsoir,
quelqu'un pourrait il me démontrer la propriété suivante?

soient f une application de E dans F, g une application de F dans G

la correspondance c=(T,E,F) de E dans G défini par T={(x,y) appartenant à ExG avec y=g(f(x))} est une application de E dans G

merci de votre aide