
theorem
  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
proof
  let S, T be up-complete Scott TopLattice;
  let M be Subset of SCMaps (S,T);
  the carrier of SCMaps (S,T) c= the carrier of MonMaps (S,T) by
YELLOW_0:def 13;
  then "\/" (M, SCMaps (S,T)) in the carrier of MonMaps (S,T);
  hence thesis by WAYBEL10:9,WAYBEL17:def 2;
end;
