called the infimum of A.

• 的最大下界边称为A的下确界。