Discussion :

[Syphys]

Bonjour!

Je suis le cours http://rmdiscala.developpez.com/cours/
et j'ai des problémes de compréhension qui commence au :
2.2 : relation binaire
1, Rappels et convention (page 156)
:
2. Produit de relations binaires

Soient e et f deux relations binaires sur un ensemble non vide E. On définit le produit des deux relations r = e.f ainsi :
qq soit a , a appartenant à E
qq soit b , b appartenant à E a e.f b ssi  il existe c , c appartenant à E / (a e c) et (c f b)

Je pense que je ne comprend pas la notation adoptée de ce qu'il y a en rouge donc tout le sens de la définition. Le problème est aussi que des notations du même acabit rôde dans les différentes définitions de ce chapitre...
Dans l'espoir que quelqu'un puisse m'aider j'attends une réponse avec impatience Merci

[Jedai]

"a e.f b" signifie a et b sont en relation par r = e.f (r est la relation binaire combinaison de e et f).
"/ (a e c) et (c f b)" : "/" signifie souvent "tel que" en mathématique, donc la signifcation de ceci "ssi il existe c , c appartenant à E / (a e c) et (c f b)" est "si et seulement si il existe un c, c appartenant à E tel que a et c sont dans la relation e et c et b sont dans la relation f".

--
Jedaï

[Syphys]

Merci j'ai compris je mets un petit lien pour ceux qui aurait besoin comme moi de coup de fouets assez conséquent mais qui n'ont qu'internet sous la main...
http://fr.wikipedia.org/wiki/Relation_binaire