Tа’rif 8. Har bir elementi to’plamning faqat va faqat bitta qism to’plamiga tegishli bo’lgan kesishmaydigan qism to’plamlar majmuasi to’plamning bo’laklari deyiladi.
Teоremа.A/E faktor-to’plam A to’plamning bo’lagi bo’ladi. Va aksincha, agar R={Ai} – A to’plamning biror bo’lagi bo’lsa, u holda bu bo’lakka biror i va Ai dan olingan x;y elementlar uchun xEy qoida bo’yicha E ekvivalentlik munosabatini topish mumkin.
Nazorat uchun savollar:
Munosabatlarning kompozitsiyasi va uning xossalari.