Terms containing changes of bound variable

Subject	English	Russian
math.	alphabetic changes of bound variable	алфавитная замена связанных переменных (ssn)
math.	change of bound variables	переименование связанных переменных