theorem :: WAYBEL26:37

for X being non empty TopSpace
for L being non trivial complete Scott TopLattice holds
( oContMaps (X,L) is complete & oContMaps (X,L) is continuous iff ( InclPoset the topology of X is continuous & L is continuous ) )