Definition:Substitution (Formal Systems)