有限演算
数学または論理学において、有限(項的)演算(ゆうげんえんざん、英: finitary operation)は、算術の演算のように、出力を得るために有限値の入力を取る演算である。