二元关系的传递性的计算机检测法

摘要

讨论了如何利用计算机对有限集合上的二元关系的传递性进行检测 ,同时对自反性与反自反性、对称性与反对称性亦进行了讨论 ,并给出了具体算法 ,使之能检测有限集合上的二元关系是否是相容关系、等价关系、偏序关系。