Множество всех подмножеств множества %%M%% называется булеаном и обозначается %%2^M%%.
Для любого конечного множества %%M%% верно, что %%|2^M| = 2^{|M|}%%.
Пересечение, объединение и разность подмножеств некоторого универсума %%U%% являются подмножествами %%U%%. Множество всех подмножеств %%U%% с операциями пересечения, объединения, разности и дополнения образует алгебру подмножеств множества %%U%%.
| Второе практическое занятие: операции над множествами | Свойства операций над множествами |