$\forall a, b \in X ,0\le\forall c\leq1 \text{ Have: } ca+(1-c)b \in X$

满足上述性质的集合我们称为区间

那么显然的这个集合上必须定义加法数乘, 区间这个定义是定义于线性空间上的

称为 $Range$

如果线性空间内还额外定义了全序关系, 序与线性空间运算的关系

那么应该有一个额外的性质

我们希望趋向于一点, 还是趋向于无穷, 都可以使用同一个函数式命题表示

仅仅是区间也不够描述, 还需要区间套的概念, 才能真正描述, $\forall \epsilon >0$的等价概念