Подстановка (логика)

• Подстановка — это отображение переменных в члены выражения. 
• Многие авторы требуют, чтобы подстановка отображала каждую переменную в соответствующий член. 
• Область dom(σ) подстановки определяет набор фактически замененных переменных. 
• Подстановка может быть основной, линейной, плоской или с переименованием. 
• Композиция подстановок является ассоциативной операцией и совместима с применением подстановки. 
• Подстановка является основной операцией в алгебре, особенно в компьютерной алгебре. 
• Подстановка связана с функциональным составом и тесно связана с β-редукцией в лямбда-исчислении.