09/05/22 23:30:29
素朴集合論の立場での関数の同値について
関係集合Aから集合Bへの関数f,gがあるとき
(∀x in A. f(x) = g(x)) iff f = g
という形で関数f,gの同値関係を定義するような流儀ってありでしょうかね？
09/05/22 23:30:29
素朴集合論の立場での関数の同値について
関係集合Aから集合Bへの関数f,gがあるとき
(∀x in A. f(x) = g(x)) iff f = g
という形で関数f,gの同値関係を定義するような流儀ってありでしょうかね？