Введенные операции под множествами обладают следующими свойствами.
1. Коммутативность
2. Ассоциативность
3. Дистрибутивность
4. Идемпотентность
5. Двойственность (законы де Моргана)
6. Операции с пустым множеством
Æ 
Æ = Æ
7. Операции с универсальным множеством
8. Операции с дополнением
Æ
9. Определение разности через пересечение
10. Поглощение
На основании свойств 1–10 можно получить новые свойства и равенства.
Пример 1.1. Доказать, что верно равенство
=(Æ 
Æ 
=Æ 
