theorem :: WAYBEL24:37

for S, T being non empty complete Scott TopLattice holds Top (ContMaps (S,T)) = S --> (Top T)