集合Aから集合Bへの単射があり、BからAへも単射があれば、AからBへの全単射があるというもの。 濃度（基数）においては、これは |A|≦|B| かつ |B|≦|A| ならば |A|＝|B| である、ということを表している。言っていることは直感的には当たり前であるが、証明

続きを読む