theorem Th29: :: WAYBEL24:29

for S, T being complete Scott TopLattice
for F being non empty Subset of (ContMaps (S,T)) holds "\/" (F,(T |^ the carrier of S)) is monotone Function of S,T