可算全順序集合の有理数体への順序的かつ位相的埋め込み