束そく縛ばく変へん項こう

noun

bound variable

Technical term in logic and formal semantics. Refers to a variable that is quantified or otherwise bound by an operator, as opposed to a free variable.

• 束そく縛ばく変へん項こうは量りょう化か子しの作さ用よう域いき内ないにある変へん数すうです。

  A bound variable is a variable within the scope of a quantifier.

• この論ろん理り式しきでは、xは束そく縛ばく変へん項こうであり、yは自じ由ゆう変へん項こうです。

  In this logical formula, x is a bound variable and y is a free variable.