theorem Th15: :: WAYBEL13:15
for L being lower-bounded sup-Semilattice holds CompactSublatt L is lower-bounded sup-Semilattice