Rule (ID: 100)

What is the definition of substitution given in the Rules?