Bài tập 6, § 4

Một đồ thị G là phiếm hàm nếu và chỉ nếu với mỗi cặp đồ thị H, H' ta có $(\mathrm{H} \cap \mathrm{H}') \circ \mathrm{G} = (\mathrm{H} \circ \mathrm{G}) \cap (\mathrm{H}' \circ \mathrm{G})$.