theorem Th15: :: WAYBEL13:15

for L being lower-bounded sup-Semilattice holds CompactSublatt L is lower-bounded sup-Semilattice