theorem
Th8
:
:: WAYBEL29:8
for
X
being non
empty
TopSpace
for
L
being non
empty
up-complete
Scott
TopPoset
for
F
being non
empty
directed
Subset
of
(
ContMaps
(
X
,
L
)
)
holds
"\/"
(
F
,
(
L
|^
the
carrier
of
X
)
) is
continuous
Function
of
X
,
L