theorem :: YELLOW_9:44

for T being TopRelStr holds T is TopAugmentation of T