My first thought was S = {1,2,3,...}. However, if I define R = { (x,y) | y = 1/x }, I have a total injective relation, so this doesn't work.
The second thought was to try S = {...,-3,-2,-1,0,1,2,3,...}. However, a total injective relation can also be found here. For example, if I do something...