>>891
定義から inf(a,b)≦a、inf(a,b)≦b は常に成立する。
また、x≦aかつx≦b ならば x≦inf(a,b)も成立する。