theorem :: WAYBEL24:1

for S, T being up-complete Scott TopLattice
for M being Subset of (SCMaps (S,T)) holds "\/" (M,(SCMaps (S,T))) is continuous Function of S,T