Булеан

Множество всех подмножеств множества $M$ называется булеаном и обозначается $2^M$.

Для любого конечного множества $M$ верно, что $|2^M| = 2^{|M|}$.

Пересечение, объединение и разность подмножеств некоторого универсума $U$ являются подмножествами $U$. Множество всех подмножеств $U$ с операциями пересечения, объединения, разности и дополнения образует алгебру подмножеств множества $U$.