Булеан

Булеан — в теорії множин, це множина всіх підмножин даної множини.

Булеан множини S позначається як $\mathcal{P}(S)$ або $2^S$. Очевидно, що ∅ ∈ 2^S та S ∈ 2^S.

Для скінченної множини S з n елементів, кількість його підмножин (потужність булеана) дорівнює 2ⁿ, тобто |2^S| = 2^|S|.