Given in question. f is defined on all real numbers because domain is R . and most importantly in the definition of T, $ x\in R$ which means no restriction. And this relation holds necessarily. But it could be the case that both S and T are equal if $Range(h(x)) = R$ , not otherwise.