Интуитивно, вхождение переменной в терм считается свободным, если оно не лежит в области действия какой-нибудь λ. Связанная переменная аналогична формальному параметру функции или процедуры в языках программирования.
n
∑i=1 Ai
∫ (2x + 1) dx
d/dx x2
∀x P(x)