>>594
同値関係の定義は"或る正整数"でいいんです
同値なら必ず"最小の正整数"が存在するんです
その"最小の正整数"を決定番号と呼ぶんです
わかったらハイと言ってください