無限集合は、「自身の内部との一対一対応がある集合」として定義できるよ。