for R, S, T being non empty RelStr st R embeds S & S embeds T holds
R embeds T