Álgebra Libre

Una estructura algebraica en una firma y variedad dadas, generada por un conjunto de generadores libres sin relaciones definitorias salvo las identidades impuestas por la firma y la variedad; equivalentemente, un objeto F(X) con inclusión del conjunto generador X tal que toda función de X en cualquier álgebra A de la misma variedad se extiende de manera única a un homomorfismo F(X) → A.

Un álgebra en una variedad generada libremente por un conjunto de generadores; satisface la propiedad universal de que toda función del conjunto generador a cualquier álgebra de la variedad se extiende de forma única a un homomorfismo desde el álgebra libre.