for T being TopRelStr holds T is TopAugmentation of T