theorem :: WAYBEL14:36

for L being complete Scott TopLattice st L is continuous holds
InclPoset (sigma L) is continuous