greatest lower bound

/ˌɡreɪtɪst ˈloʊər baʊnd/ グレイテスト ロウアー バウンド

1. 最大下界

順序集合の任意の部分集合 S に対し、S のすべての要素 x に対して x 以上の集合の要素 b が存在するとき、b を S の下界と呼びます。この下界の中で最も大きいものを最大下界と呼びます。
In a partially ordered set, the greatest lower bound of a subset is unique if it exists. (半順序集合において、部分集合の最大下界は、存在すれば一意です。)