theorem Th24: :: WAYBEL27:24

for S, T being complete Scott TopLattice holds UPS (S,T) = SCMaps (S,T)