theorem Th26: :: WAYBEL_4:26

for L being lower-bounded sup-Semilattice holds the carrier of L --> {(Bottom L)} in the carrier of (MonSet L)