性质1：a≡a（modm），（反身性）\r这个性质很显然.因为a-a=0=m·0。

\r性质2：若a≡b（modm），那么b≡a（modm），（对称性）。\r性质3：若a≡b（modm），b≡c（modm），那么a≡c（modm），（传递性）。\r性质4：若a≡b（modm），c≡d（modm），那么a±c≡b±d（modm），（可加减性）。\r性质5：若a≡b（modm），c≡d（modm），那么ac≡bd（modm）（可乘性）。\r性质6：若a≡b（modm），那么an≡bn（modm），（其中n为自然数）。\r性质7：若ac≡bc（modm），（c，m）=1，那么a≡b（modm），（记号（c，m）表示c与m的最大公约数）。\r性质8：若a≡b（modm），那么a的n次方和b的n次方也对于m同余。