Mientras leía el Lambda Calculus en Wiki, apareció el términoSustituciones que evitan la captura.. ¿Puede alguien explicar lo que significa, ya que no pude encontrar una definición desde cualquier lugar?

Gracias

PD

Lo que quiero saber es la razón para contar esa operación.Sustituciones que evitan la captura.. Sería de gran ayuda si alguien puede hacer eso.