Asosiy usullar

ekvivalentligi aloqa
.
M
to'plamida ikkilik (ikki o'rinli) munosabat berilsin ,
bu shuni anglatadiki, har bir juft element uchun 
a
, 
b
∈
M
nisbati
shenie 
a
~ 
b
yo ijro etgan, yo bajarilmagan.
Ushbu munosabatlar ekvivalentlik munosabati deb ataladi, agar:

---

110
Har qanday 
a, b
∈
M
uchun
∎
, agar 
a
~ 
b bo'lsa
, u holda 
b
~ 
a
(bu xususiyat deyiladi
munosabatlarning simmetriyasi);
∎
har qanday uchta element 
uchun a, b, c
∈
M
, 
agar 
a
~ 
b
va 
b
~ 
c bo'lsa
, u holda
a
~
 c
(bu xususiyat munosabatlarning tranzitivligi deyiladi);
∎
har bir 
a
∈
M uchun
, 
a
~ 
a
ushlab turadi (bu xususiyat deyiladi
refleksivlik).
1-misol
A
~ 
B
munosabati keyinchalik saqlanadigan kitoblar to'plamida berilgan
va agar 
A
va 
B
shu nashrning nusxalari bo'lsa .
Xuddi shu to'plamdagi yana bir munosabat - agar 
A
va 
B
bir xil bo'lsa
harflar soni.
Ikkala munosabatlar ham ekvivalentlik munosabatlaridir.
Xuddi shu kitoblar to'plamida "deyarli bir xil songa ega bo'lish
harflar soni, ya'ni bitta harfdan ko'p bo'lmaganligi bilan farq qiladi "emas
ekvivalentlik munosabati. Agar