theorem
:: WAYBEL29:22
for
M
being non
empty
set
for
T
being
injective
T_0-TopSpace
holds
Omega
(
M
-TOP_prod
(
M
=>
T
)
)
=
Sigma
(
M
-POS_prod
(
M
=>
(
Omega
T
)
)
)