دیسول بسته
همچنین شناخته شده با: فرمول بسته
برابر انگلیک (انگلیسی): closed formula


تاربرگ‌های پیموده‌شده در این نشست: دیسول‌های سگالشی در گوییک سویی چندی‌گذارده ⟩ فرازبان ⟩ آپارگر بستار ⟩ بزرگترین کران پایین ⟩ گوییک آموزگاهی