I-боб. Умумий тушунчалар

Мисоллар. 1. } тартибланган жуфтликлар тўплами бинар муносабатга мисол бўла олади.
2.Агар айният муносабатини билдирса, у ваšтда дегани ни билдиради.
3.Агар оналик муносабатини билдирса, у ваšтда <Хуршеда, Ирода> символ Хуршеда Ироданинг онаси эканлигини билдиради.
4.Тернар муносабатига бутун сонлар тўпламидаги šўшиш амали мисол бўла олади. ёзувини шаклида ќам ёзиш мумкин.
Бундан кейин бинар муносабат термини ўрнига šисšалик учун муносабат терминини ишлатамиз.
cимволини šуйидагича тушуниш керак: Шундай лар тўпламики, .
айрим y учун тўплами муносабатнинг аниšланиш соќаси дейилади ва cимволи билан белгиланади. айрим учун тўплами муносабатнинг šийматлар соќаси дейилади ва символи билан белгиланади. Бошšача šилиб айтганда, муносабатнинг аниšланиш соќаси шу муносабатнинг биринчи координаталаридан тузилган тўпламга айтилади, иккинчи координаталаридан тузилган тўпламга эса, šийматлар соќаси деб айтилади.
Мисол: , , муносабат берилган бўлсин. У ваšтда , .
Бирор тўплам тартибланган жуфтликлар тўплами бўлсин. Агарда бирор тўпламнинг элементи ва y бошšа тўпламнинг элементи бўлса, у ваšтда тўплам ва тўпламларнинг тўђри (декарт) кўпайтмасидан тузилган тўплам дейилади ва
и
шаклида белгиланади.
Ќар бир муносабат айрим олинган тўђри кўпайтманинг šисм тўплами бўлади ва , . Агар бўлса, у ваšтда дан га бўлган муносабат деб айтилади. Агар ва бўлса, у ваšтда дан га бўлган муносабат деб айтилади. дан га бўлган муносабатни ичидаги муносабат деб айтилади.
šандайдир тўплам бўлсин. У ваšтда ичидаги муносабатни ичидаги универсал муносабат деб айтилади.
муносабат ичидаги айният муносабати деб айтилади ва ёки символи билан белгиланади. Ќар šандай тўпламининг ва элементлари учун ифода билан тенг кучлидир.
тўплам ва муносабат берилган бўлсин. У ваšтда нинг айрим лари учун . Бу тўпламга тўплам элементларининг - образлари тўплами деб айтилади.
Мисоллар. тўђри чизиšни ва муносабатини шаклларда ёзиш мумкин.