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