二进分数，也称为二进有理数，是一种分母是2的幂的分数。可以表示成formula_1，其中，formula_2是一个整数，formula_3是一个自然数。例如：formula_4，formula_5，而formula_6就不是。(英制单位中广泛采用二进分数，例如formula_7英寸，formula_8英寸，formula_4磅。)所有二进分数组成的集合在实数轴上是稠密的：任何实数formula_10都可以用形为formula_11的二进分数无限逼近。与实数轴上的其它稠密集，例如有理数相比，二进分数是相对