for L being complete Scott TopLattice st L is algebraic holds
ex B being Basis of L st B = { (uparrow x) where x is Element of L : x in the carrier of (CompactSublatt L) }