for T being complete TopLattice st the topology of T = sigma T holds
T is Scott