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