克隆 (数学)

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

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