#同余关系
代数 (4) 同余关系

原本在一个等价类上的元素经过某个运算后仍然保持等价关系,就说明该关系是该运算的同余关系;如果该关系对某个代数上的所有运算都是同于关系,那么该关系就是该代数系统上的同于关系。