>>991
詳しい解説ありがとうございます

一つ疑問があるのですが
Aのベキ集合から、空集合を元とする集合{φ}を除いた集合を考える場合
Bが空集合だとすると、fはAからその集合への全射となる可能性があると思います

Aのベキ集合が無限集合であったなら
たかだか一個の元{φ}を除いたり加えたりしても濃度は変わらないので
fはやはりAのベキ集合への全射になる可能性があると思うのですがいかがでしょうか？