زبرینه

برای زیرمجموعه‏ای مانند A از یک مجموعه مرتب S ، کوچک‌ترین عضوی از S که از هیچ عضو A کوچک‌تر نباشد متـ . سوپرمم- کوچک‌ترین کران بالا least upper bound