Трансляция

- отображение алгебраич. системы в себя, к-рое либо есть тождественное отображение, либо может быть представлено в виде произведения конечного числа главных трансляций (наз. также элементарными Т.). Эквивалентность на алгебраич. системе является конгруэнцией тогда и только тогда, когда она замкнута относительно всех Т. (и даже только главных Т.).