Jika \(2n=2m\text{,}\) maka \(n=m\text{,}\) jadi \(b\) injektif. Setiap unsur \(2\Z\) secara definisi berbentuk \(2k\) dan merupakan \(b(k)\text{,}\) jadi \(b\) surjektif. Inversnya \(b^{-1}(2k)=k\text{.}\) Inklusi bersifat ketat karena, misalnya, \(1\in\Z\) tetapi \(1\notin2\Z\text{.}\) Fenomena ini dapat terjadi pada himpunan tak berhingga.