集合 A と同数であるような A の真部分集合 B が存在することを言う。即ち、A と A の真部分集合 B の間には全単射が存在する。一方、どんな真部分集合との間にも全単射が存在しないような集合は、デデキント有限集合と呼ばれる。集合 A がデデキント無限でな

続きを読む