>>578
定義は
写像 f: A → B について、f(A) :={f(a) | a ∈ A } とするとき、f(A) = B が成り立てば全射。
ですよね?

このf(A) = Bのf(A)ってのはどの関数なのかがよくわからないです
f(x)=xでいいんですか?