theorem :: WAYBEL23:67

for L being lower-bounded continuous sup-Semilattice
for B being with_bottom CLbasis of L holds baseMap B is sups-preserving by Th64, WAYBEL_1:13;