式y=xが成り立つ点(x、y)の集合が、y=xという直線だと思います。