I-боб. Умумий тушунчалар 1-§. Тўпламлар назариясининг асосий тушунчалари

операция билан ва операция билан ифодаланиши мумкин. Демак, тўлдирувчили панжарани сигнатураси , - бўлган алгебра сифатида аниšлаш мумкин.

(а)-(б) муносабатлардан šуйидагилар келиб чиšади ( десак):

Демак, 1-панжаранинг энг катта элементи, яъни структураси бир бўлади.

Тўлдирувчили дистрибутив панжара Бул алгебраси бўлади.

Теорема. Бул алгебраси Кантор алгебрасига изоморфдир.

Бул ва Кантор алгебралари ўртасида šуйидаги изоморфизм мавжуд:

, , ,

šаерда ифодаларнинг чап тарафида - назарий - панжаравий ва ўнг тарафида - назарий - тўплам операциялари.

РЕЖА:
1.Муносабатлар. Бинар муносабат.

2.Эквивалентлик муносабати. Рефлексив, сим

метрик ва транзитив муносабатлар.

3.Функция тушунчаси. Функциялар суперпози-

цияси.

4.Тартиблаш муносабати.

47 48