logo
Элементы общей алгебры

Алгебра множеств

В основе лежит некоторое непустое множество U, которое на­зы­вается универс. Базовое множество M алгебры множеств есть множество всех подмножеств универса (его также называют булеан множества U). Символически это записывают так: M=2U. Пусть, например, U={p,q,r}, тогда базовое множество M=2U состоит из 23=8 подмножеств:

M={,{p},{q},{r},{p,q},{p,r},{q,r},{p,q,r}}.

Бинарные операции на булеане: объединение (), пересечение (), разность (\). Еще одна бинарная операция – симметрическая разность ():

AB=(A\B)(B\A)=(AB)\(AB).

Так, для указанного выше примера имеем:

{p,r}{q,r}={p,q,r}, {p,r}{q,r}={r},

{p,r}\{q,r}={p}, {q,r}\{p,r}={q}, {p,r}{q,r}={p,q}.

Унарная операция на булеане – дополнение множества до универса, обозначается чертой сверху: для множества A дополнение есть . Для указанного выше примера и т.п.

    1. Yandex.RTB R-A-252273-3