merous）。
定义.首先，给出集合formula_18和formula_17，我们称formula_18的势小于等于formula_17，记作 formula_54，当且仅当存在由formula_18到formula_17的单射；称formula_18的势与formula_17相等，记作 formula_38， 当且仅当存在由formula_18到formula_17的双射（即一一对应）。康托尔-伯恩斯坦-施罗德定理指出如果 formula_54 及 formula_63