Bài tập 8, § 6

Cho $E$, $F$ là hai tập hợp, cho $R$ là một quan hệ tương đương trên $F$, và cho $f$ là một ánh xạ từ $E$ vào $F$. Nếu $S$ là quan hệ tương đương là ảnh ngược của $R$ qua $f$, và nếu $A = f\langle E \rangle$, hãy định nghĩa một song ánh chính tắc từ $E/S$ lên $A/R_A$.