Bài tập 1, § 6

Để một đồ thị G là đồ thị của một quan hệ tương đương trên một tập hợp E, điều kiện cần và đủ là $\mathrm{pr_1G} = \mathrm{E}$, $\mathrm{G} \circ \overset{-1}{\mathrm{G}} \circ \mathrm{G} = \mathrm{G}$, và $\Delta_{\mathrm{E}} \subset \mathrm{G}$ ($\Delta_{\mathrm{E}}$ là đường chéo của E).