theorem Th6: :: YELLOW_6:6

for R being RelStr holds R is full SubRelStr of R