>>147
変な定義
定義の中で自分自身を使ってるし
意味が直接的ではない

● f を以下とする
f :
x |-> f(x)
N -> M

●A⊂M の時 f^-1 を以下で定義する
f^-1(A) := { x∈N | ∃y∈A s.t. f(x)=y }