theorem Th51: :: YELLOW_9:51

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