theorem Th65: :: WAYBEL23:65

for L being lower-bounded continuous sup-Semilattice
for B being with_bottom CLbasis of L holds rng (supMap (subrelstr B)) = the carrier of L