>>396
例えば
f;S:実数の集合からS';実数の集合として
Sの要素をx、S'の要素をx'、f(x)=x^2の関係があるとき
f(S)というのは0以上の全ての実数ですよね?

このときに定義域Sは原像f^(-1)(x')に含まれると考えてよいでしょうか?

>>398
f^(-1)(x')　⊃　S
これが聞きたいことです。