>>130
> 「D(f) = D(g) かつ G(f) = G(g) 」のときf=gであるという、かと。

君はいま、「りんごは果物かフルーツかどっちですか?」と言いました。
ということで、これで話は終わりです。