>>890
上界（下界）と最小（大）元の定義をちゃんと書けば、やることはすぐ分かるだろう。