theorem :: WAYBEL29:21

for M being non empty set
for L being continuous complete LATTICE holds Omega (M -TOP_prod (M => (Sigma L))) = Sigma (M -POS_prod (M => L))