Примеры свободных и связанных

x (λy.x y)	x - свободно входит дважды, y - связанно.
y (λy.y)	y - входит и свободно, и связанно.
u ≡ (λx.λy.x) (λx.z x)	FV(u) = { z }, BV(u) = { x, y }.