自然数集'嵌入'到整数集

在整数集中定义子集M = {(x,0)|x是自然数}
定义自然数集到到集合M的映射f(x) = (x,0)，显然f是双射，且f(a+b) = f(a)  +'  f(b) 及f(a*b) = f(a) *'  f(b)
于是集合M（含运算+和*）与自然数集(含运算+'和*')之间存在一同构映射f，使得自然数集可以'嵌入'到整数集中去