"n" 項演算(エヌこうえんざん、n-ary operation)は、集合の用語で説明すると、集合 "a" の直積集合 "an" の部分集合 "d" から "a" への写像であり、ここではそれを "f" とする。