「関数であるかどうか」の判断は、「x を決めたら、y が一通りに決まるかどうか」です。一通りに決まるなら関数で、そうでなければ関数ではありません。(1) は x を決めたら y が一通りに決まるので関数です。(2) は x を決めても y は一通りに決まらないので関数ではありません。(3) は x を決めたら y が一通りに決まるので関数です。
一通りに決まるなら関数で、そうでなければ関数ではありません。
(1) は x を決めたら y が一通りに決まるので関数です。(2) は x を決めても y は一通りに決まらないので関数ではありません。(3) は x を決めたら y が一通りに決まるので関数です。