theorem Th12: :: WAYBEL25:12

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