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