Exercice 1, § 4

Soit $G$ un graphe. Montrer que les trois propositions suivantes sont équivalentes: a) $G$ est un graphe fonctionnel; b) quels que soient les ensembles $X, Y, \bar{G}(X \cap Y) = \bar{G}(X) \cap \bar{G}(Y)$; c) la relation $X \cap Y = \varnothing$ entraîne $\bar{G}(X) \cap \bar{G}(Y) = \varnothing$.