克隆 (数学)

泛代数中,克隆Clone)是由某集合A上的有限元运算组成的集合C,其满足:

  • C包含了全部投影πkn: AnA, πkn(x1, …,xn) = xk
  • C复合函数下闭合:若f, g1, …, gm都是C的成员,fm元,且每一gj均为n元函数,那么n元运算h(x1, …,xn) := f(g1(x1, …,xn), …, gm(x1, …,xn))也是C的成员。