「"値が確定していないパラメータ x をある識別子と関連付けて定義できる"と仮定すると」
うーん…