上確界與下確界非空且有界實數集合的supremum是最小上界，infimum是最大下界，兩者未必屬於集合。atlas-supremum-and-infimum · canonical_mko上確界與下確界前置節點實數實數大小與順序集合量詞與明示論域