Картинки из квадратов \ Теоретико-множественная математика \ Математические системы \ Универсальная алгебра \ Универсальная алгебра по Расевой Е., Сикорскому Р. \

9.5.3.1.2. Свободные алгебры ©

Начало см. здесь и здесь.
Определение "однотипных" алгебр см. здесь; определение множеств, порождающих данную алгебру, см. здесь; определение гомоморфизмов универсальных алгебр см. здесь.