Exercice 1, § 6

Pour qu’un graphe $G$ soit le graphe d’une équivalence dans un ensemble $E$, il faut et il suffit que l’on ait $\operatorname{pr}_1 G = \operatorname{pr}_2 G = E, G \circ \overline{G} \circ G = G$ et $\Delta_E \subset G$ ($\Delta_E$ étant la diagonale de $E \times E$).