theorem Th5: :: WAYBEL22:5

for L being non empty complete Poset holds id L is CLHomomorphism of L,L