>>845
頭使って考えてる？

・同値関係が定義できれば、同値類が存在する
・同値類からその代表元が選べる　（同値類が無限個の場合、選択公理が必要）
・どの無限列も必ずある同値類に属する
・どの無限列も属する同値類の代表元とは当然同値である
・同値関係の定義から、必ず列が一致する開始箇所が存在する
　→そこが無限列の決定番号

ほら、同値の定義で全部決まる