写像

二つの集合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)

と表記します。

集合Xがある（自然数）、集合Y(x^2)がある

$ f(x): X\to Y

で、この写像f(x)によってXの元のxがYの元のyに対応する

$ f(1):1\mapsto 1

$ f(2):2\mapsto 4

$ f(3):3\mapsto 9

$ f(4):4\mapsto 16

…