مجموعه توانی: تفاوت میان نسخه‌ها

در [[ریاضیات]]، '''مجموعه توانی''' هر مجموعهٔ S، که بصورتبه صورت <math>\mathcal{P}(S)</math>، ''P''(''S'')، [[:en:Weierstrass p|℘]](''S'')، [[:en:Power set#Representing subsets as functions|2^''S'']] نوشته می‌شود، مجموعه‌ای از همهٔ [[زیرمجموعه|زیرمجموعه‌های]] S است که شامل مجموعهٔ تهی و خود مجموعهٔ S نیز می‌شود. در [[نظریه اصل موضوعی مجموعه‌ها|نظریهٔ اصل موضوعی مجموعه‌ها]] (آنچنان که برای مثال در اصل موضوع ZFC توسعه پیدا کرده) وجود مجموعهٔ توانی هر مجموعه توسط [[اصل موضوع مجموعه توانی]] بدیهی شمرده شده استشده‌است.