substitution

we denote a substitution by where is a value to be replaced by the value in a given formula