实数formula_17，能满足formula_13都有formula_19，则formula_17即为集合formula_16的下界。
性质.连续性公理：在非空实数集中，若含上界，则必含最小上界（上确界）；若含下界，则必存在最大下界（下确界)。