theorem :: WAYBEL27:44

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