>>546
普通に数学する分には、それこそwikipediaの「写像」のページにあるように
>集合 A の各元に対してそれぞれ集合 B の元をただひとつずつ指定するような規則 f が与えられているとき、f を「始域または定義域A から終域 B への写像」といい
ぐらいで十分でしょ
ZFC公理とか気にする文脈なら>>514みたいにすればいい