证明从正整数集合X到正整数集合Y的函数f(n)=2n 1是一对一的,但不是对Y映上的