>>93
ついでにいうと有理コーシー列の同値類の代表は
選択公理を使うことなく直接選べる