theorem Th52: :: YELLOW_2:52

for L being non empty Poset holds IdsMap L is monotone