theorem :: YELLOW_1:15

for X being non empty set st InclPoset X is upper-bounded holds
union X in X