Exercice 5, § 3

Soient A et B deux ensembles, G un graphe. Montrer que l’on a $(A \times B) \circ G = \overline{G}\langle A \rangle \times B$ et $G \circ (A \times B) = A \times G\langle B \rangle$.