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


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