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.