theorem Th41: :: WAYBEL11:41

for T being complete Scott TopLattice
for S being upper Subset of T st S is Open holds
S is open