Álgebras livres de um certo tipo para classes de álgebras desse tipo sobre conjunto de variáveis X.

Exemplos. Alguns resultados sobre álgebras livres necessários para a demonstração de que toda a variedade é uma classe equacional, a fazer no dia 20 em aula de substituição.