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