Exercice 7, § 3

Pour qu’un graphe $G$ soit fonctionnel, il faut et il suffit que, pour tout ensemble $X$, on ait $G\langle \bar{G}\langle X \rangle \rangle \subset X$.