Демак, 1-панжаранинг энг катта элементи, яъни структураси бир бўлади.
Тўлдирувчили дистрибутив панжара Бул алгебраси бўлади.
Теорема. Бул алгебраси Кантор алгебрасига изоморфдир.
Бул ва Кантор алгебралари ўртасида қуйидаги изоморфизм мавжуд:
, , ,
қаерда ифодаларнинг чап тарафида - назарий - панжаравий ва ўнг тарафида - назарий - тўплам операциялари.
РЕЖА:
1.Муносабатлар. Бинар муносабат.
2.Эквивалентлик муносабати. Рефлексив, сим
метрик ва транзитив муносабатлар.
3.Функция тушунчаси. Функциялар суперпози-
цияси.
4.Тартиблаш муносабати.
47 48
Do'stlaringiz bilan baham: |