(2)整列可能定理により、実数Rにある順序≦'を入れて整列集合とすることが
出来る。このとき明らかに(R,≦')と(R,≦)(←普通の順序)は順序同型でない。