Definition:Substitution (Formal Systems)/Term