如果a和b满足：a≡b(mod7)，即可以称a和b之间满足7同余的性质。换句话说，a和b之间相差为7的整倍数，即a-b=k*7;k为任意整数。这也就是说，如果a的值为15，那么必定存在一个任意整数k，使得b=15+k*7;此时，a和b就满足7同余的性质。从更一般的角度来理解，满足7同余的a和b，可以说存在一个整数m，使得a-b=7m，即a≡b(mod7)。