theorem Th30: :: WAYBEL13:30

for L1, L2 being non empty Poset st L1,L2 are_isomorphic & L1 is up-complete holds
L2 is up-complete