theorem :: WAYBEL23:45

for L being lower-bounded continuous sup-Semilattice st the carrier of (CompactSublatt L) is CLbasis of L holds
L is algebraic