theorem :: WAYBEL27:43

for S, T being complete continuous LATTICE holds UPS (S,T) is continuous