集的操作。对于给定的全序集formula_1及其中某个元素formula_2而言，将formula_1分拆为两个非空集合，使得两者其一中所有元素（按照顺序）均在formula_2之前、另一真子集中所有元素均在formula_2之后。常见的是对于全体有理数的操作，即formula_6。对于有理数formula_2，将有理数集合分拆为两个非空集合formula_1和formula_9，若formula_1和formula_9满足条件：则称这样的分拆为有理数的一个分划，记为formula_20。其中集合fo