Jabarkan Sifat dasar dari Aritmetika modular

Relasi kekongruenan pada bilangan bulat memenuhi semua kondisi relasi ekuivalensi. Dengan demikian, pada relasi kekongruenan  modulo  berlaku

Sifat transitif: jika  dan , maka

Untuk sebarang nilai . Lebih lanjut, operasi penjumlahan dan perkalian tetap berlaku pada relasi kekongruen modulo . Jika  memenuhi  dan , maka  dan  . Hal ini juga menyebabkan beberapa operasi lain tetap berlaku: