bund vriable n. 【論理】 束縛変項[数] 《不定の対象を指示する自由変項[数] x, y, z, …等が, 「すべての」や「存在する」を意味する全称および存在量化詞で束縛され, 指示範囲が限定されたもの; 例えば「すべての x は自然数である」 「x を満足させる値が存在する」のような場合の x; cf. free variable》.