>>531
「上界の集合」という言葉を使うなら
２、３，４のそれぞれは「上界の集合」の要素である（要素になる）、というような言い方になるのだろう。

で、それで何をしたいの？