Отображение алгебраич. системы в себя, к-рое либо есть тождественное отображение, либо может быть представлено в виде произведения конечного числа главных трансляций (наз. также элементарными Т.). Эквивалентность на алгебраич. системе является конгруэнцией тогда и только тогда, когда она замкнута относительно всех Т. (и даже только главных Т.). Лит.:[1] Кон П., Универсальная алгебра, пер. с англ., М., 1968; [2] Мальцев А. И., Алгебраические системы, М., 1970. О. А. Иванова.