theorem Th61: :: WAYBEL23:61

for L being lower-bounded continuous sup-Semilattice
for B being with_bottom CLbasis of L holds idsMap (subrelstr B) is sups-preserving