>>83
方程式で出てくるのは全て束縛変数でむしろ外側は無い
{x|x=○ or x=■}