theorem Th3: :: WAYBEL32:3

for R being non empty reflexive transitive antisymmetric up-complete RelStr ex T being TopAugmentation of R st T is Scott