theorem :: WAYBEL31:29

for L1 being lower-bounded continuous sup-Semilattice st L1 is infinite holds
CLweight L1 = CLweight (InclPoset (sigma L1))