x^2+y^2=1
x の値１つに対応する y の値が1つとは限らない
y の値１つに対応する x の値が1つとは限らない
関係を記述しているものであるが関数でない。