for L being complete continuous LATTICE
for T being Scott TopAugmentation of L holds T is injective