De Morgan代数的刻划与同余关系

借助于蕴涵与非运算，给出了Ｄｅ Ｍｏｒｇａｎ代数的一个等价刻划并讨论了等价系统中的由一个蕴涵滤子所生成的同余关系的性质。