بزرگترین کران پایین
برابر انگلیک (انگلیسی): greatest lower bound


تاربرگ‌های پیموده‌شده در این نشست: eidetic ⟩ Modal Axiom B ⟩ چندبار شونده