theorem
Th32
:
:: WAYBEL29:32
for
L
being
complete
LATTICE
holds
( ( for
S
being
complete
LATTICE
holds
sigma
[:
S
,
L
:]
=
the
topology
of
[:
(
Sigma
S
)
,
(
Sigma
L
)
:]
) iff for
S
being
complete
LATTICE
holds
Sigma
[:
S
,
L
:]
=
Omega
[:
(
Sigma
S
)
,
(
Sigma
L
)
:]
)