ตามหลักวิชาคณิตศาสตร์ เซตกำลัง หรือ เพาเวอร์เซต (อังกฤษ: power set) ของเซต S ใดๆ เขียนแสดงด้วยสัญลักษณ์ P ( S ) {\displaystyle {\mathcal {P}}(S)} , P(S), ℙ(S), ℘(S) หรือ 2S เป็นเซตของเซตย่อยทั้งหมดของ S รวมทั้งเซตว่าง และเซต S เอง ตามหลักทฤษฎีเซตเชิงสัจพจน์ (เช่นสัจพจน์ ZFC) สัจพจน์แห่งเซตกำลังรองรับการมีอยู่ของเซตกำลังสำหรับเซตใดๆ [1]เซตย่อยใดๆ ของ P ( S ) {\displaystyle {\mathcal {P}}(S)} เรียกว่า ครอบครัวของเซต บน S