>>521
>>523の前半は取り消し。>>524も取り消し。
同値関係〜の同値類と正整数の全体Nには全単射があるな。だが、>>523の後半
＞>>522
＞>「決定番号＝∞と表現する」かどうかは、それぞれの流儀だ
＞∞は有限の値ではないから、「決定番号＝∞」とは表せない。
はそのまま。>>521では何がいいたいのか分からん。