formula_9相同。这可以从formula_3建立一双射函数到formula_9来证明，亦即该函数要同时满足单射及满射的条件，例如：当该函数的定义域仅限于formula_3，则证明formula_3与formula_9可建立一一对应的关系，即两集等势。