有理数体の加法に着目してできるアーベル群 (Q,+) の部分群からなる集合Xであって、
次を満たすものは存在するか：

X上の(半)順序を包含関係により定めた時、Xは全順序集合であり、
実数全体Rに自然な大小関係を定めて得られる全順序集合と同型になる