theorem Th19: :: WAYBEL_4:19

for L being lower-bounded sup-Semilattice holds IdsMap L in the carrier of (MonSet L)