greatest lower bound

...For example, the upper limit of E = {1-1/ n | n is a natural number} is 1, which does not belong to E. The infimum (greatest lower bound) is similarly defined by reversing the magnitude relationship: if a is the upper limit of E , then - a is the lower limit of {- x | x ∈ E } . In general, when the set f (M) of all values ​​on M of a real-valued function f ( x ) defined on a set M is bounded above, the upper limit of the set f ( M ) is expressed as ...

*Some terminology explanations that mention "greatest lower bound" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…例えば，E＝｛1－1/n｜nは自然数｝の上限は1であり，これはEに属さない。下限infimum(greatest lower bound)も大小関係を逆にして同様に定義され，aがEの上限であれば，－aは｛－x｜x∈E｝の下限である。一般に，集合M上で定義された実数値関数f(x)の，M上の値全体の集合f(M)が上に有界であるとき，集合f(M)の上限をまた，下限はと表す。…

※「greatest lower bound」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報