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

Демак, 1-панжаранинг энг катта элементи, яъни структураси бир бўлади.
Тўлдирувчили дистрибутив панжара Бул алгебраси бўлади.
Теорема. Бул алгебраси Кантор алгебрасига изоморфдир.
Бул ва Кантор алгебралари ўртасида šуйидаги изоморфизм мавжуд:
, , ,
šаерда ифодаларнинг чап тарафида - назарий - панжаравий ва ўнг тарафида - назарий - тўплам операциялари.
РЕЖА:


1.Муносабатлар. Бинар муносабат.
2.Эквивалентлик муносабати. Рефлексив, сим
метрик ва транзитив муносабатлар.
3.Функция тушунчаси. Функциялар суперпози-
цияси.
4.Тартиблаш муносабати.

27 28