自由変数
free variable
量化されていない個体変数のこと
つまり、実際に値を入れてみるまで、真偽が決まらない変数のこと
普通にvarとかletとかconstとかで定義した変数
local変数、global変数
$ \mathrm{FVar(\phi)}
自由変数全体の集合
ex. $ \mathrm{FVar(\lambda x.xy)}=\{y\}
参考
そもそも変数っていったいなに？ | 実用的な数学を