すいませんもう一つついでにお伺いしたいのですが
逆像の表記方法ってどうしたら良いでしょうか?

f:S→S'として、Sの要素をx、S'の要素をx'とするとき
f(S)={x'|∃x[x∈S∧x'=f(x)]}と書いてあるのですが
f^(-1)(x')={x|∃x'[x'∈S'∧x'=f(x)}でいいのでしょうか?