この事実を直接用いると、b0.b1b2b3⋯を近似値の集合{b0,b0.b1,b0.b1b2,⋯}の上限として定義することができる。
为了直接利用这些事物，我们可以把b0.b1b2b3…定义为集合{b0，b0.b1，b0.b1b2，…}的最小上界。