Cho tập X. Tập lũy thừa của X, kí hiệu \(P\left(X\right)\) là tập hợp tất cả các tập con của X kể cả chính tập X và tập rỗng. (Ví dụ nếu tập \(X=\left\{1;2;3\right\}\) thì tập \(P\left(X\right)=\left\{\varnothing;\left\{1\right\};\left\{2\right\};\left\{3\right\};\left\{1;2\right\};\left\{2;3\right\};\left\{1;3\right\};X\right\}\))
Chứng minh rằng nếu \(\left|X\right|=n\) thì \(\left|P\left(X\right)\right|=2^n\) với mọi \(n\inℕ\)
(Kí hiệu \(\left|X\right|\) là số phần tử của tập X)