theorem Th33: :: WAYBEL14:33

for L being complete Scott TopLattice
for X being Subset of L st L is continuous & X in sigma L holds
X = union { (wayabove x) where x is Element of L : x in X }