theorem Th8: :: YELLOW13:8

for N being non empty Poset holds IdsMap N is one-to-one