同余一词，按中文译名词意来说，就是“余数相同”[1]。
现代数论上的同余类概念定义为：
由于a≡b（mod m），于是有a+k·m≡b（mod m），这时k为整数。
高斯在《算术研究》第1节，列出的同余定义是：
如果数a整除b和c之差，我们就说b和c相对于a同余；如果不能整除，则b和c不同余。
显然，中国的传统历法观念上，并没有出现这种现代意义上的同余概念，只有以奇入算。
