実数 に対し，減少有理数列 x_{n+1}>a"> で に収束するものを取ると， a\}=\left( \bigcup_{n=1}^\infty \mathbb{Q}\cap [x_{n+1},\,x_n)\right) \cup (\mathbb{Q} \cap [x_1,\,\infty ) )."> したがって，a\}"> の順序集合としての同型類は によらない．こ…