Степень множества

Русская Википедия - свободная энциклопедия

Булеан

Пусть

— множество. Множество всех подмножеств множества

называется булеаном

(также степенью множества, показательным множеством или множеством частей) и обозначается

или

. Ясно, что

Справедливо следующее утверждение: Число подмножеств конечного множества, состоящего из элементов равно .

Доказательство проведем методом математической индукции.