加算
一般に
$ +
という
二項演算子
を使って
$ a + b
と書く。
自然数
の加算
$ 1 + 1 = 2
閉じている
$ f(a, b) = a + b