What do you mean? Are $R,S$ transitive sets? And is $R^S$ the set of all functions from $S$ into $R$?