集合は{(x,y)｜y=f(x)}のように書かれるけど
y=f(x)っていうのは詳しく書くと「任意の要素(x,y)に対してy=f(x)が成立」という
必要十分条件ですよね？そこで聞きたいのですが、この必要十分条件というのは
何に対して必要十分なのでしょうか？