2015-09-03 Q上の順序 math 実数 に対し,減少有理数列 で に収束するものを取ると, したがって, の順序集合としての同型類は によらない.これを用いて, と や が順序集合として同型であることが示される.一方, と は順序集合として同型ではない.