質問: 集合 写像の話の中でグラフの定義が出てきたのですが、そこには f を、集合 a から集合 b への関数とする。このとき、f のグラフとは、直積集合 a × b の部分集合のことである。 という内容が書かれていました。グラフの各点がa×bの直積集合の要素のどれかであることは分かるのですが、どうして部分集合なのでしょうか?直積集合そのものではいけないのでしょうか?
回答: https://oshiete.goo.ne.jp/qa/12217822.html のno.6をご参照あれ。