a_2关于模formula_3同余。比如formula_14。同余于的符号是同余相等符号≡。统一码值为codice_1。
同余类.如同任何同余关系，对于模formula_15同余是一种等价关系，整数formula_1的等价类是一个集合formula_17，标记为formula_18。由对于模formula_15同余的所有整数组成的这个集合称为同余类（或）；假若从上下文知道模formula_15，则也可标记为formula_21。同余类中的每个元素都可以拿来代表该同余类，