Ikkinchi bob binar munosabatlar va

Demak, (N - ekvivalentlik) xaqiqatan xam ekvivalentlik munosabati ekan.

Kelajakda bu ekvivalentlikni N o`zgartirishlar guruxi xosil qilgan ekvivalentlik (N-ekvivalentlik) deb ataymiz.

A to`plam biror usul bilan sinflarga bo`lingan bo`lsin: . Bu bo`linma yordamida A go`plamga ekvivalentlik munosabatani kiritamiz.

Agar x,uA elementlar V bo`linmadagi bir sinfga tegishli bo`lsa, ularni V bo`linmaga nisbatan ekvivalent deymiz va x-u shaklida yozamiz,

Bu ekvivalentlik refleksivlik, simmetriklik va tranzitivlik xossalariga ega.

Ixtiyoriy A to`plamda xar qanday ekvivalentyaik munosabati shunday xosil qilinishi mumkinligini ko`rsatamiz.

A to`plamda biror "~" ekvivalentlik munosabati berilgan bo`lsin. Ixtiyoriy xA uchun x orqali x ga ekvivalent bo`lgan barcha uA elementlar to`plamini belgilaymiz va {, xA) to`plamlar tizimi A ni sinflarga bo`lishini ko`rsatamiz.