Terms for subject Mathematics containing bound variable

English	Russian
alphabetic change of bound propositional and functional variables	алфавитная замена связанных пропозициональных и функциональных переменных (ssn)
alphabetic change of bound variable	алфавитная замена связанной переменной (ssn)
alphabetic changes of bound variable	алфавитная замена связанных переменных (ssn)
anonymous bound variable	анонимная связная переменная
bound a variable above	ограничивать переменную сверху
bound propositional and functional variables	связанные пропозициональные и функциональные переменные (ssn)
bound variables	связанные переменные (ssn)
change of bound propositional and functional variables	замена связанных пропозициональных и функциональных переменных (ssn)
change of bound variable	замена связанной переменной (ssn)
change of bound variables	переименование связанных переменных
complex bound variable	составная связная переменная
explicit bound variable	явная связная переменная
rule of alphabetic change of bound propositional and functional variables	правило алфавитной замены связанных пропозициональных и функциональных переменных (ssn)
rule of alphabetic change of bound variable	правило алфавитной замены связанной переменной (ssn)
variable with upper bound	переменная с верхним пределом