Gọi X là tập tất cả học sinh của trương. Trong tập X ta xác định quan hệ hai ngôi e như sau:
“Hai học sinh a và b có quan hệ e với nhau khi và chỉ khi a và b học cùng lớp”
- Chứng minh e là quan hệ tương đương xác định trong tập X?
- Tìm tập thương X/e