基本概念的数学表达

• 最小上界，上确界，

  下确界和上确界

  {xn} 是单调递增序列，M 是其上确界。这里的上确界是有着严格的数学定义的：
  对于任意的 ϵ>0，总存在正整数 N，当 n>N 时：

  xn>M−ϵ⇒xn<M<xn+ϵ

  在加上数学分析中对于相等的定义，任意 ϵ>0，使得 |xn−M|<ϵ，则 M 为 {xn} 的最小上界；