theorem :: YELLOW15:25

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