theorem :: WAYBEL14:34

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