решения некоторых задач

Два элемента a и b называются упорядоченной парой, если указано, какой из этих элементов первый, какой второй, при этом .

Упорядоченную пару элементов a и b обозначают символом (a, b).

Аналогично определяется упорядоченная система из n элементов a₁, a₂, ..., a_n, которую обозначают символом (a₁, a₂, ..., a_n). Элементы a₁, a₂, ..., a_n называются координатами упорядоченной системы (a₁, a₂, ..., a_n).

Совокупность всевозможных упорядоченных пар (a, b), где , называется произведением множеств A и B и обозначается символом .

Аналогично, символом обозначают произведение множеств , т. е. совокупность всевозможных упорядоченных систем (a₁, a₂, ..., a_n), где .

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

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

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

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

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

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

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

5) ;

6) ;

7) ;

8) .

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

решения некоторых задач

-1-2-3-4-5-