>>877
とおもったら少し違うような。。
f:A→Bの場合、写像fとは(A,B,G(∈A×B))と本に書いているのですが
写像fのグラフが直積の部分集合で、fは3つ組で集合ではない?