集合の記述についてなんですが、{y｜y=f(x)}というのは
２元方程式y=f(x)の解集合、{(x,y)｜y=f(x)}からyの部分だけを
抽出した集合ということですかね？