如果A有最大数a，A'有最小数b，则根据分割的定义可知 a第三种情况揭示了在有理数域中存在这样的一种"空隙"（formula_1和formula_9之间的界数），这个"空隙"所对应的数既不属于formula_1，也不属于formula_9，因此它不是有理数，它所对应的数就是无理数，因此说第3种情况的分划定义了一个无理数。作为一个直观的理解，我们可以把上面三种分化分别看成 formula_37、formula_38 和 formula_39，而“formula_1中有最大数、formula_9中有最小数