下确界inf定义

下确界inf定义：任给一数集E，我们称E的最大下界为E的下确界，记为infE，显然E中每个元素均大于或等于infE。“下确界”是数学分析中的基本概念，它是在“下界”的基础上定义的。

设给定一数集E，若存在mR，使得对于xE，都有xm，则称m是集合E的一个下界。一个数集可以由有限个数组成，也可以由无穷多个数组成，前者称为有限（数）集，后者称为无限（数）集。任何有限数集都有一个最小数，但对于无限数集来说就不一定有最小数了。定义原指对事物做出的明确价值描述。现代定义：对于一种事物的本质特征或一个概念的内涵和外延的确切而简要的说明；或是透过列出一个事件或者一个物件的基本属性来描述或规范一个词或一个概念的意义。被定义的事件或者物件叫做被定义项。一般地，能清楚的规定某一名称或术语的概念叫做该名称或术语的定义。