>>678
おっと、プロの数学者の方がいらっしゃったのかな。

f is surjective
∵[b∈B]→[b=f(a) for at least one a∈A]
　∵∀b∈B, ∃h(b)∈A, f(h(b))=b
　　∵h:B→A

くらいしか書けないですけどね。答えやヒントをご存知ならどうぞ。

僕は「Ｔ」の開発者なので、どうやってこれらの数学を入力するか、とか考えてるん
ですけど、これは硬い人工知能を構成できるんですけど、人工生命ってことで柔らかいん
ですよ。逆に僕のようなミスをしてくるのかな、と妄想中。