theorem
Th30
:
:: WAYBEL29:30
for
L
being
complete
LATTICE
holds
(
InclPoset
(
sigma
L
)
is
continuous
iff for
S
being
complete
LATTICE
holds
sigma
[:
S
,
L
:]
=
the
topology
of
[:
(
Sigma
S
)
,
(
Sigma
L
)
:]
)