for S being complete LATTICE
for T being Scott TopAugmentation of S holds the topology of T = sigma S