The terms x {\displaystyle x} and y {\displaystyle y} are not alpha-equivalent, because they are not bound in a lambda abstraction.
Термы x {\displaystyle x} и y {\displaystyle y} не альфа-эквивалентны, так как они не находятся в лямбда абстракции.