Bài tập 6, § 6

Cho $G$, $H$ là các đồ thị của hai quan hệ tương đương trên $E$. Khi đó $G \circ H$ là đồ thị của một quan hệ tương đương trên $E$ khi và chỉ khi $G \circ H = H \circ G$. Khi đó, đồ thị $G \circ H$ là giao của tất cả các đồ thị của những quan hệ tương đương trên $E$ chứa đồng thời $G$ và $H$.