>>460
そういえばそうですね…

では
Ｕの上界として
ＵとＶ/Ｕから取ってきた元ｙからなる{ｙ}の和集合を考えるとどうでしょうか？
Ｕと{ｙ}の和集合はＵの上界になりますよね？

…でもＶ/Ｕから元を取ってこれるかは疑問ですかね？