自由変数と束縛変数
lim h → 0 f ( x + h ) − f ( x ) h {\displaystyle \lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}}
において、 x {\displaystyle x} は自由変数、 h {\displaystyle h} は束縛変数である。同様にこの式の値は x {\displaystyle x} の値によって変化するが、 h {\displaystyle h} には依存しない。
次の論理式
∀ x ∃ y φ ( x , y , z ) {\displaystyle \forall x\ \exists y\ \varphi (x,y,z)}
において、 z {\displaystyle z} は自由変項、 x {\displaystyle x} と y {\displaystyle y} は束縛変項である。この論理式の真理値は z {\displaystyle z} の値によって変化するが、 x {\displaystyle x} と y {\displaystyle y} には依存しない。