量化されていない個体変数のこと

つまり、実際に値を入れてみるまで、真偽が決まらない変数のこと

普通に var とか let とか const とかで定義した変数

local変数、global変数

自由変数全体の集合

ex. \mathrm{FVar(\lambda x.xy)}=\{y\}

参考