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} нису алфа-еквивалентни, зато што нису ограничене ламбда апстракцијом.