反射律: a ≡ a (mod n)
対称律: a ≡ b ならば b ≡ a (mod n)
推移律: a ≡ b かつ b ≡ c ならば a ≡ c (mod n)