Exercice 2, § 6

Tag 03J0, permanent. Cite it as [Bourbaki, Tag 03J0].

Théorie des ensembles, II, p. 51

Si $G$ est un graphe tel que $G \circ \overline{G} \circ G = G$ , montrer que $\overline{G} \circ G$ et $G \circ \overline{G}$ sont des graphes d’équivalences dans $\operatorname{pr}_1 G$ et $\operatorname{pr}_2 G$ respectivement.