Une représentation de ce type n'est ni "sajital" ni "sagital" mais sagittale de la même famille que sagittaire = du latin sagitta = flèche ....

Donc représentation avec des flèches ....

Je n'en vois pas beaucoup sur ton schéma !

oula je devrai plus faire gaffe a l'hortographe....


On a un ensemble E={a , b }, il s'agit de difinir le nombre maximum de ralation binaire qu'on peut effectuer avec cette ensemble.
ON peut en effectuer 16 en tout
Dont voici la dérniére représentation sagittale :
Cette relation est REflexive , symétrique , transitive

C'est bon j'ai trouvé

Dans ce cas c'est antisymétrique puisqu'à chaque fois qu'on a xRy et yRx , alors x=y (xRy et yRx n'ayant jamais lieu...).

Merci comme meme d'avoir penché sur le sujet

antisymétrique, ce qui signifie

(xRy et yRx) => ( x=y )

ce qui équivaut à => [non(xRy) ou non(yRx)]

donc en prenant x=a et y=b, il me semble que l'on peut déduire que c'est antisymétrique, non?

vu que non(aRb) est vraie (et de plus, non(bRa) est vraie aussi) .

romu : n'oublie pas que ce que tu dis doit être vrai pour tout couple (x,y). "en prenantx=..." n'est pas une preuve ... Il y a ici 4 couples différents à envisager : (a,a), (b,b), (a,b), et (b,a).
Pour les deux premiers on n'a rien à vérifier car x=y, et non(aRb) permet de régler le cas des deux autres

ah oui, c est vrai. Merci lafol je vais tacher d'être plus rigoureux , honte à moi!