theorem :: YELLOW_1:16

for X being non empty set st InclPoset X is lower-bounded holds
meet X in X