exo7 2964

Soit $E$ un ensemble, et $\cal F$ l’ensemble des relations binaires sur $E$. Pour $R,S \in \cal F$, on définit la relation $R\ast S$ par : $$x (R\ast S) y \iff \exists\ z \in E\text{ tq }x R z\text{ et }z S y.$$

A toute fonction $f : E \to E$, on associe la relation : $y R_f x \iff y = f(x)$.