Definition:Substitution


 * Substitution (Mathematical Logic)
 * Substitution for Free Occurrence