for R being non empty up-complete Poset
for T being TopAugmentation of R st T is Scott holds
T is correct ;