theorem Th23: :: WAYBEL14:23

for L being complete Scott TopLattice holds sigma L = the topology of L