19/03/07 03:02:41.58 mA/DRyCb.net
>>391
集合の大きさの比較をしたいなら(X→Yの単射がなくても)Y→Xの全射があればX≦Yと定義してもいいように思うのですが
そうすると何か不都合があるのかなというのが疑問です
19/03/07 03:02:41.58 mA/DRyCb.net
>>391
集合の大きさの比較をしたいなら(X→Yの単射がなくても)Y→Xの全射があればX≦Yと定義してもいいように思うのですが
そうすると何か不都合があるのかなというのが疑問です
19/03/07 03:02:41.58 mA/DRyCb.net
>>391
集合の大きさの比較をしたいなら(X→Yの単射がなくても)Y→Xの全射があればX≦Yと定義してもいいように思うのですが
そうすると何か不都合があるのかなというのが疑問です