随着n的增大L将更为复杂。 在I上定义运算fⅣ,使得 f(a1,…,a)=(321…2a),这里a;∈I j=1,k),即f为Ⅰ上的第个k元运 定义192X∪C上的自由T(代数称为项 集,I中的每个元素称为项,不含个体变 元的项称为历亟,I上的代数运算f称为 第个n元函数词。如果XUC,T可列, 项集I也是可列集。 随着n的增大In将更为复杂。  在I上定义运算fk i :Ik→I，使得 fk i (a1 ,,ak )=(fk i ,a1 ,,ak )，这里ajI (j=1,,k)，即fk i为I上的第i个k元运 算。  定义19.2:X∪C上的自由T(1) -代数I称为项 集，I中的每个元素称为项，不含个体变 元的项称为闭项，I上的代数运算fn i称为 第i个n元函数词。如果X∪C,T(1)可列， 项集I也是可列集