泛代數自由積(free product of universal al-gebra)與其他代數系自由積相平行的概念.由已知泛代數構造的新泛代數.設K是一個泛代數類，( A，F)EK(iEl)，若:u= (A,F>屬於K;則稱}l= (A,F)是u在K中的自由積.
