>>561
>>531の
＞α = β∪γ(全てのx, yに対して、その(x, y)に依存して f(y)^2＝2*f(x)−1を満たす関数fが存在すると考える場合)
であり、

＞「fはx,yに依存して決まり、本当はf_{x,y}のように書かれる」
というふうに解釈していた。