算数
約束記号の問題には大きく分けて二つの型がある。一つは関数であり、もう一つは(二項)演算と呼ばれる。 演算は2変数関数であるが、2変数関数という言葉はあまり使われない。