Подробнее объяснить роль альфа-эквивалентности в определении бета-редукции

[artemohanjanyan]

[artemohanjanyan]

В текущем определении в одном из трёх пунктов упомянута альфа-эквивалентность. Она нужна либо ещё как минимум в третьем пункте, либо её нужно убрать и из первого, ибо абзацем выше написано, как мы пользуемся альфа-эквивалентностью.