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