هنگرد توانی
همچنین شناخته شده با: مجموعه‌ توانی
برابر انگلیک (انگلیسی): powerset


تاربرگ‌های پیموده‌شده در این نشست: ناهمامون ⟩ A⥽(B∨¬B) ⟩ بنداشت جایگزینی ⟩ درآمدی به گویایی سویی ⟩ بنداشت بی‌پایانی