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

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