在剩余格中定义了一种只依赖于交运算和蕴含算子的同余关系，简化了[L]作为泛代数的同余关系的表达式，证明了这种同余关系和滤子之间仍然是一一对应的，并且这种对应关系是相应的完备格之间的一个同构。