Variable

Free variables and bound variables https://en.wikipedia.org/wiki/Free_variables_and_bound_variables

Free parameter https://en.wikipedia.org/wiki/Free_parameter

Substitution https://en.wikipedia.org/wiki/Substitution_(algebra)