写像の定義
>二つの集合XとYがあって、Xに属しているどの元に対しても、Yに属している元がそれぞれ一つずつ対応するとき、その対応のことを「XからYへの写像」といいます。fがXからYへの写像であることを、
>f:X \to Y
>と表記します。また、写像fによってXの元xがYの元yに対応することを、
>f:x \mapsto y
>と表記します。このときのyを「写像fによるxの像」といいます。「xにおける写像fの値」ともいいます。xにおける写像fの値を、
>f(x)
>と表記します。
『群論への第一歩』p.30、定義
超雑説明：写像=関数でおｋ
関数は写像の一種とみなせる、とあとから記載があった
集合\mathbb{N}（自然数全体の集合）がある
fを、集合\mathbb{N}の各元を2乗の値にするものとする
f:1\mapsto 1
f:2\mapsto 4
f:3\mapsto 9
f:4\mapsto 16
このとき、f:\mathbb{N}\to\mathbb{N}？