for R being RelStr holds R is full SubRelStr of R