theorem Th43: :: WAYBEL23:43

for L being sup-Semilattice holds the carrier of (CompactSublatt L) is join-closed Subset of L