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