Exercise 6, § 4

A graph G is functional if and only if for each pair of graphs H, H' we have $(\mathrm{H} \cap \mathrm{H}') \circ \mathrm{G} = (\mathrm{H} \circ \mathrm{G}) \cap (\mathrm{H}' \circ \mathrm{G})$.