同餘關係 在数学特别是抽象代数中同餘关系或简称同餘是相容于某个代数运算的等价关系