While reading the Lambda Calculus in Wiki, came across the term Capture-avoiding substitutions. Can someone please explain what it means as I couldn\'t find
The substitution of E’ for x in E (written [E’/x]E )
Example: [y (λx. x) / x] λy. (λx. x) y x
After renaming: [y (λv. v)/x] λz. (λu. u) z x
After substitution: λz. (λu. u) z (y (λv. v))