Exercice 6, § 3 Tag 03I0, permanent. Cite it as [Bourbaki, Tag 03I0]. Théorie des ensembles, II Pour tout graphe G, soit G′G'G′ le graphe ((pr1 G)×(pr2 G))−G((\mathrm{pr}_1\ G) \times (\mathrm{pr}_2\ G)) - G((pr1 G)×(pr2 G))−G. Montrer que l’on a (G‾′)′=(G′)−1(\overline{G}')' = (G')^{-1}(G′)′=(G′)−1 et G∘(G‾′)′⊂ΔB′,(G‾′)′∘G⊂ΔA′ G \circ (\overline{G}')' \subset \Delta'_B,\qquad (\overline{G}')' \circ G \subset \Delta'_A G∘(G′)′⊂ΔB′,(G′)′∘G⊂ΔA′ si A⊃pr1GA \supset pr_1 GA⊃pr1G et B⊃pr2GB \supset pr_2 GB⊃pr2G. Pour que l’on ait G=(pr1G)×(pr2G)G = (pr_1 G) \times (pr_2 G)G=(pr1G)×(pr2G), il faut et il suffit que G∘(Gˉ′)′∘G=∅G \circ (\bar{G}')' \circ G = \varnothingG∘(Gˉ′)′∘G=∅. Solution No solution has been written yet. Cited by Nothing. Cites Nothing.