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