泛代数自由积

泛代数自由积(free product of universal al-gebra)与其他代数系自由积相平行的概念.由已知泛代数构造的新泛代数.设K是一个泛代数类，( A，F)EK(iEl)，若:u= (A，F>属于K;则称}l= (A，F)是u在K中的自由积.