bonjour,

E et F désignent deux ensembles non vides et G l'ensemble des couples (X,f) où X est un sous ensemble non vide de E et F une application de X vers F:
dans G on definit la relation R par (X,f)R(Y,g)XY et g|X=f

je dois montrer que (G,R) est un ensemble ordonnée.

je sais qu'il faut que je montre que R est réflexive antisymetrique et transitive

je ne sais pas trop comment faire..
je ne comprend pas la notation g|X=f

merci de m'aider