>>426
ウップ、

> >>425
集合Aが　{x：a≦x≦b}　であっても、或いは{x：a＜x}であっても、Aの下界　は{x：x≦a}　だ。