関数方程式

$$f(x+y)=f(x)+f(y)$$

• 行き先の候補となるどんな元 $y$ を持ってきても $f(x)=y$ となる $x$ が存在するとき，$f(x)$ は全射であると言う。

• 「$f(x)=f(y)$ なら $x=y$」が成立するとき，$f(x)$ は単射であると言う。