演算

n 項算法（エヌこうさんぽう）とは、広義には、集合 A の直積集合 Aⁿ の部分集合 D から A への写像 f のことをいい、D をこの算法の定義域という。n は任意の順序数でよい。 これを（仮に）f の項数とよぶ。 Aⁿ は i < n をみたす順序数 i を添数とする A の元の族 (a_i)_i<n すべてからなる集合を表す。 集合 A とそこにおける算法の族 R との組み (A, R) を代数系という。