Булева алгебра

Пусть A, B и D - произвольные подмножества множества . Тогда непосредственно из определений объединения, пересечения и дополнения вытекают следующие предложения:

1) (замкнутость операций объединения и пересечения);

2) (коммутативность операций объединения и пересечения);

3) (ассоциативность операций объединения и пересечения);

4) (дистрибутивность операции объединения относительно операции пересечения);

(дистрибутивность операции пересечения относительно операции объединения);

5) ;

6) ;

7) ;

8) .

Если для элементов множества определены объединение и пересечение , для которых выполняются отношения 1) - 8), то тройка называется булевой алгеброй. Таким образом, если - семейство всех частей множества , то - булева алгебра.