exo7 3035

1

Soit R{\cal R} une relation binaire sur un ensemble EE réflexive et transitive. On définit les deux relations : xSy  ⟺  (xRy et yRx),xTy  ⟺  (xRy ou yRx).\begin{matrix} x {\cal S} y &\iff &( x {\cal R} y \text{ et } y {\cal R} x),\cr x {\cal T} y &\iff &( x {\cal R} y \text{ ou } y {\cal R} x).\end{matrix}

Est-ce que S{\cal S} et T{\cal T} sont des relations d’équivalence ?

Exercice KXds

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?