theorem Th7: :: YELLOW_6:7

for R being RelStr
for S being SubRelStr of R
for T being SubRelStr of S holds T is SubRelStr of R