最大値、最小値の定義は

実数の部分集合について
∀y∈U、∃x∈U、x≧y
のとき、xを最大値(x≦yのとき最小値)と定義する
でいいんですかね