theorem Th63: :: WAYBEL23:63

for L being lower-bounded continuous sup-Semilattice
for B being with_bottom CLbasis of L holds [(supMap (subrelstr B)),(baseMap B)] is Galois