theorem Th42: :: YELLOW16:43

for X being non empty set
for L being non empty up-complete Poset holds L |^ X is up-complete