بستار هرگانی

همچنین شناخته شده با: بستار کلی
برابر انگلیک (انگلیسی): Universal Closure
دیسه‌ای
∀α′(∀α 𝜙α ⊃ 𝜙α′)
∀α′(∀α 𝜙α ⊃ 𝜙α′)


تاربرگ‌های پیموده‌شده در این نشست: شماریک پئانو بنداشت هنگرد توانی همامون نیم‌گروه پیروی دوسویه Posterior Analytics