09/05/23 21:17:34
>>653
集合論的には関数はそのグラフ集合として定義されるわけですから、f, g の集合論的な
実体はそれぞれ
F := { (x, f(x)) | x \in A}
G:= { (x, g(x)) | x \in A}
なわけですね．トートロジーですが．
そして、定義しようとする同値関係が集合の＝に置き換えられたわけですから、
そもそも同値関係が well-defined であるかどうかは気にせずとも保証されているわけです．
＃健全に基礎を学ぶことをお勧めします