Trong toán học, đặc biệt là trong lý thuyết tập hợp, tập hợp lũy thừa (hay còn gọi là tập lũy thừa, tập hợp các bộ phận, tập các bộ phận, tập hợp các tập con, tập các tập con) của một tập hợp A là tập hợp chứa tất cả các tập con của A, ký hiệu là P(A), ℘(A) hay 2A.Ví dụ, nếu:thì tất cả các tập con của A là:và:Nếu A là tập hữu hạn có n phần tử thì tập lũy thừa của A sẽ có 2n phần tử Georg Cantor đã chứng minh lực lượng của tập lũy thừa của A luôn lớn hơn lực lượng của bản thân A. Đặc biệt, ông đã chỉ ra rằng tồn tại song ánh từ tập lũy thừa của tập các số tự nhiên sang tập các số thực, do đó lực lượng của tập các số thực là lớn hơn lực lượng của tập các số tự nhiên (và do đó tập các số thực là không đếm được).Trong khuôn khổ của ZFC, sự tồn tại của tập lũy thừa được bảo đảm bởi tiên đề tập hợp các bộ phận.