Dokumen ini membahas sifat dasar bilangan bulat, termasuk definisi, operasi, dan urutan-urutan yang berlaku di dalam himpunan bilangan bulat. Penjabaran mencakup sifat tertutup, komutatif, asosiatif, dan distributif yang berkaitan dengan penjumlahan, pengurangan, dan perkalian bilangan bulat. Selain itu, dokumen ini juga menyentuh pada pembagian dan relasi urutan antarbila serta pembuktian terkait berbagai sifat tersebut.