Munosabatlar
1. Binar munosabat. Diskret matematikada fundamental tushun chalardan biri bo'lgan munosabat tushunchasi predmetlar (narsalar) va tushunchalar orasidagi aloqani ifodalaydi. Quyidagi toiiqsiz gaplar munosabatlarga misol bo'la oladi. Odatda, munosabat tushunchasi to'plamlar nazariyasi nuqtai nazaridan turib o'rganiladi. Munosabat tushunchasiga aniqlik kiritish uchun
tartiblangan juftlik tushunchasini o'rganamiz.
1- t a ’ r i f . M a’lum tartibda joylashgan ikki predmetdan tuzilga kortej tartiblangan juftlik deb ataladi. Odatda tartiblangan juftlik quyidagi xususiyatlarga ega deb faraz qilinadi:
1) ixtiyoriy x va уpredmetlar uchun < x , y > kabi belgilanadigan muayyan obyekt mavjud bo'lib, har bir x va уpredmetlarga yagona tartiblangan < x , y > juftlik mos keladi ( < x , y > yozuv “ x va уning tartiblangan juftligi” deb o'qiladi);
2) agar ikkita < x , y > va < u, v > tartiblangan juftlik uchun x = иva