下限
infimum
最大下界
(
greatest lower bound
,
meet
)とも言う
常に存在するとは限らない
存在するなら唯一に決まる
$ X
の下限を、
$ \sqcap X
と表記する
/mrsekut-book-4320026578/073