「集合論」の版間の差分

削除された内容 追加された内容
→‎単射と全射: 単射と全射の図を追加
タグ: 2017年版ソースエディター
タグ: 2017年版ソースエディター
183 行
そこで役に立つのが、次に挙げる定理である。
 
'''定理'''(Bernstein)<br />集合AとBがあり、AからBへの単射と、BからAへの単射があるとき、

card A=card B
 
AからBへの単射があることと、BからAへの全射があることは同値であるから、定理のステートメントの「単射」をすべて「全射」と書き換えても構わない。