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