b<c} ,则 a < c {\displaystyle a<c} 。所以以上定義的大小關係是全序关系。 有理數集的序還滿足稠密性(英语:denseorder):若 a < b {\displaystyle a<b} ,则必存在有理数 c {\displaystyle c} ,满足 a < c {\displaystyle
_{1}} -dense if every open interval contains ℵ 1 {\displaystyle \aleph _{1}} -many elements of X. Whether all ℵ 1 {\displaystyle \aleph _{1}} -dense sets