Bonsoir à tous
voila un exo que je n'arrive pas à résoudre
R1 et R2 sont des relations binaires sur l'ensemble non vide E.
ON définit alors deux nouvelles relations binaires S et T sur E par:
pour tout x et y de E xSy <=>(xR1y et xR2y)
xTy<=>(xR1y ou xR2y)
etudier les propriétés de S et T lorsque R1 et R2 sont toutes deux des relations d'ordre.
Posted by: Zebulon
Bonjour,
il s'agit de déterminer si S et T sont des relations d'ordre, d'équivalence, ou rien du tout... Réflexive, transitive, symétrique, antisymétrique? Ce sont des définitions à connaître absolument pour déterminersi des relations binaires sont des relations d'ordre ou d'équivalence, pour ensuite passer au quotien, déterminer des isomorphismes qui te simplifient le vie, etc... (tu verras peut-être ça juste après).
Bon courage et à bientôt,
Zeb.