$$f\left( x\right)=\left\{\begin{array}{ccc} x&,&x\in\mathbb{Z}^{-}\\ x+1&,& x\in \mathbb{Z}^+\cup\{0\}\end{array}\right.$$ kuralı ile verilen $$f:\mathbb{Z}\to\mathbb{Z}\setminus\{0\}$$ fonksiyonu bijektif (neden?) olduğundan $\mathbb{Z}$ kümesi ile $\mathbb{Z}\setminus\{0\}$ kümesi sayısal denktir.