引数

• 関数 $f$ の定義域が、ある集合 $A_1,\dots A_k$ を用いて $A_1\times \cdots \times A_k$ で表されるとき、すなわち $f$ への入力がk個組 $(a_1,a_2,\dots ,a_k)$ のとき、各 $a_i$ を $f$ の 引数 という