
theorem
  for L be continuous lower-bounded sup-Semilattice holds SupMap L is
  infs-preserving sups-preserving by WAYBEL_1:12,57,WAYBEL_5:3;
