theorem Th24: :: WAYBEL14:24

for L being complete Scott TopLattice
for X being Subset of L holds
( X in sigma L iff X is open )