exo7 210

“$x\mathcal{R} y \Rightarrow y\mathcal{R} x$ car $\mathcal{R}$ est symétrique,
or $(x \mathcal{R} y \text{ et } y\mathcal{R} x) \Rightarrow x \mathcal{R} x$ car $\mathcal{R}$ est transitive,
donc $\mathcal{R}$ est réflexive.”