for S being TopRelStr
for T being TopAugmentation of S holds S is TopAugmentation of T