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