بستار هرگانی

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


تاربرگ‌های پیموده‌شده در این نشست: جاره پخش‌پذیری شمارگان درست بَوَندَگی نیرومند Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications نمونه‌سازی هرگانی بَوَندَگی