Salut, SVP si quelqu'un peut m'aider à démontrer le résutat suivant:
Soit une fonction (mapping) f : X -> A, avec X une ensemble infini de variables, et A un ensemble infini,
et soit un ensemble infini de contarintes sur les variables de la forme x=y,
Je veux montrer qu'il existe une fonction g: X -> B telle que:
- B est un sous ensemble fini de A
- et pour toute contrainte x=y, on a f(x)=f(y) ssi g(x)=g(y),

En fait je suis un informaticien, c'est pour cela jet trouve une difficulté de prouver ça,
Merci d'avance,