Las nociones de variable libre y variable ligada se introducen para evitar un posible error en el proceso de substitución.