世界大百科事典（旧版）内のgreatestlowerboundの言及
【上限】より
…例えば，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)の上限を
また，下限は
と表す。…
※「greatestlowerbound」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」