また、前述の log に対する記述とまったく同じ理屈を逆に考えれば、二項演算子のとる二つのオペランドのうち一つを固定する（代入可能な値を代入する）ならば、それによって 新たに単項演算子が得られる（あるいは固定するオペランドを添字とする単項演算子の族が得られる）ということが理解される。同様にして、多くのオペランド を持つ多項演算子のうち一つあるいは複数のオペランドを固定することによって、与えられた多項演算子をより制限された数のオペランドを持つ演算子族と読み かえることができる。

http://www.todai-nanshiki.net