theorem Th1: :: WAYBEL15:1

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