Jabarkan tepat ketika dari Bilangan bulat

Operasi penjumlahan dan perkalian bilangan bulat selanjutnya dapat didefinisikan dalam operasi ekuivalensi pada bilangan asli. Dengan menggunakan notasi  untuk menyatakan kelas ekuivalensi yang memiliki  sebagai anggota, dapat dituliskan: