>>28
その場合
たとえば

f:A→B
a∈A→f(a)∈B

これらの記号を何と呼ぶのが健全だと思いますか?

またこれらは像を抜いた対応関係

a→a 

というようにしか書けないということでしょうか?