Начало см. здесь и здесь.

Определение универсальной алгебры см. здесь. Определение конгруэнции для данной операции см. здесь.

Определение классов эквивалентности для данного отношения эквивалентности см. здесь. Соотношение (5) из параграфа 3 см. здесь.

Определение гомоморфизмов универсальных алгебр см. здесь. Обозначения (1) и (2) для универсальных алгебр см. здесь.

Соотношение (3) из параграфа 3 см. здесь.