اصل کوچک‌ترین کران بالا

least-upper-bound axiom