Munosabatlar Binar munosabat. Diskret matematikada fundamental tushun chalardan biri bo'lgan munosabat

2- m i s o l . Agar p ayniyat munosabatini bildirsa, u holda < x , y > e p yozuv x = у ayniyatni bildiradi.
3- m i s o l . Agar p onalik munosabatini bildirsa, u holda e p yozuv Xurshida Irodaning onasi ekanligini bildiradi.

4- m i s o l . Ternar munosabatga butun sonlar to'plamida aniqlangan qo'shish amalini misol qilib keltirsa bo'ladi. Bundan keyin binar munosabat atamasi o'rnida, qisqalik uchun, munosabat atamasini ishlatamiz.
3- t a ’ r i f . Agar p biror munosabatni ifodalasa, и holda < X,у > e p va x p у ifodalar o ‘zaro almashuvchi ifodalar deb ataladi. x p у ifoda (yozuv) “infiks yozuvi” deb yuritiladi va “ x (predmet) у (predmet)ga nisbatan p munosabatda” deb o'qiladi. Odatdagi x = y , x < y , x у belgilashlar (yozuvlar) x p y ifodadan kelib chiqqan deb hisoblash mumkin.
{ x /x e A} yozuvni, to'plamlar nazariyasidagi kabi, “shunday xlar to'plamiki, x e A ” deb tushunamiz.
4- t a ’ r i f . { x I ayrim у uchun < x, у > £ p ) to'plam p munosabatning aniqlanish sohasi deb ataladi va D p kabi belgilanadi.
5- t a ’ r i f . { у / ayrim x uchun < x ,y > £ /?} to'plam p munosabatning qiymatlar sohasi deb ataladi va Rp kabi belgilanadi.
Boshqacha qilib aytganda, p munosabatning aniqlanish sohasi shu p munosabatning birinchi koordinatalaridan tashkil topgan to'plamdir, ikkinchi koordinatalaridan tuzilgan to'plam esa, uning qiymatlar sohasidir.