theorem :: WAYBEL11:46

for T being complete continuous Scott TopLattice
for S being upper Subset of T holds
( S is open iff S is Open )