>>30
次の定理を使うのが一番早い。

(Cantor) 次の条件を満たす可算全順序集合はすべて Q と同型
・最大元も最小元も持たない。
・異なる 2 つの元の間に他の元が存在する。