于formula_2模formula_3，或读作formula_1与formula_2关于模formula_3同余。比如formula_14。同余于的符号是同余相等符号≡。统一码值为codice_1。
同余类.如同任何同余关系，对于模formula_15同余是一种等价关系，整数formula_1的等价类是一个集合formula_17，标记为formula_18。由对于模formula_15同余的所有整数组成的这个集合称为同余类（或）；假若从上下文知道模formula_15，