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