論理ろんり式における束縛された出現

$i$ を $1,2,\ldots$ のいずれかとする。

$v_1,v_2,\ldots$ を 変数記号、$\varphi$ を 原始言語の論理式 とする。

$\varphi$ における変数記号の出現 のうち、自由な出現 でないものを $\varphi$ における 束縛された出現 とよぶ。

$v_i$ が $\varphi$ における 束縛された出現 であるとき、$v_i$ は $\varphi$ において 束縛される という。