for L being continuous sup-Semilattice holds [#] L is CLbasis of L