Exercice 6, § 6

Soient $G$ et $H$ les graphes de deux équivalences dans un ensemble $E$. Pour que $G \circ H$ soit le graphe d'une équivalence dans E, il faut et il suffit que G $\circ$ H = H $\circ$ G; le graphe G $\circ$ H est alors l'intersection de tous les graphes d'équivalences dans E qui contiennent G et H.