>>521
>>525
>同値関係〜の同値類と正整数の全体Nには全単射がある

>同値関係〜の同値類と正整数の全体N「との間」には全単射がある
の間違い。