任意给定epsilon>0，则存在x0属于E，满足不等式。这里的x0=x0(epsilon)是依赖于epsilon的，就是说给一个epsilon就能找到一个x0满足条件；然而找到的这个x0不一定对于所有epsilon都满足条件。上确界的定义是对于一般的集合E来说的。特别地，如果集合E比较特殊，对于所有的epsilon>0都能找到一个共同的x0属于E满足条件，那么可以推知x0等于beta，x0就是E的最大值（存在x0属于E，对于任意x属于E，x小于等于x0）。
【 在 x2303612 的大作中提到: 】
: 数学定义的描述，为啥不文字表述，一定要用符号去描述？ 按照这里的描述，x0显然是E集中最大的那个    
- 来自 水木社区APP v3.5.7
--
FROM 112.80.16.*