Associativité d'une composition de relations binaires

[irrationnel]

Bonsoir,

Soient :

où A,B, et C sont des ensembles


Je dois démontrer que :


Voici ce que je propose :


Je voulais savoir si c'était correct, merci

[Ben314]

Salut,
Je comprend absolument que dalle à tes symboles.
Je suppose que, lorsque et , l'ensemble est la partie de définie par :


Si c'est effectivement ça la définition du bidule, alors il est clair que les deux ensembles dont tu doit montrer l'égalité sont en fait tout les deux égaux à l'ensemble suivant :


Mais je vois pas trop le rapport avec tes trucs avec des chapeaux et autres dont je saisi pas du tout le sens.
En particulier, ça désigne quoi les petit , petit , petit et petit que tu écrit et que tu as défini nulle part ?