Алгебра множин створюється з допомогою операцій між підмножинами універсальної множини як сукупність рівностей – тотожностей. Наприклад, для будь-яких підмножин (множин) А, В та С універсальної множини U дійсними є рівності:
;
;
;
;
.
;
;
;
;
.
Кожну з наведених рівностей можна довести, показавши, що будь-який елемент множини, що стоїть з одного боку від знака рівності, належить до множини, яка стоїть з іншого боку від цього знака рівності.
Доведення рівності 3. Доведення складається з двох частин:
1. Нехай . Тоді або . Якщо , то і , і таким чином, х є елементом перетину цих множин: . Якщо , і . Отже, і . У цьому випадку х також є елементом перетину .
2. Розглянемо вираз
.
Нехай . Тоді і . Отже, або , або і . З цього випливає, що .
Тобто х належить як до першої частини рівності 3, так і до другої, що й доводить її.
Рівності 1 та називаються асоціативними законами для об'єднання і перетину, а рівності 2 та - комутативними законами для цих операцій. Рівності 3 та - це дистрибутивні закони для цих операцій.
Для довільних підмножин А і В універсальної множини U, крім вищезазначених рівностей, справедливі також рівності:
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Деякі з рівностей відомі під спеціальними назвами. Так 3 і - це закони ідемпотентості; 5 та - закони поглинання; 6 та - закони де Моргана.