摘要
讨论了如何利用计算机对有限集合上的二元关系的传递性进行检测 ,同时对自反性与反自反性、对称性与反对称性亦进行了讨论 ,并给出了具体算法 ,使之能检测有限集合上的二元关系是否是相容关系、等价关系、偏序关系。
The checking method for the transitive law of binary relation of finite set is discussed by program, at the same time, the checking method of reflexive law, irreflexive law, symmetric law, antisymmetric law, is also discussed, and the concret algorithm is given out, so that it can check whether a binary relation of finite set is an compatible relation, equivalence relation, partially ordered relation or chain relation.
出处
《西南民族学院学报（自然科学版）》
2000年第3期261-265,共5页
Journal of Southwest Nationalities College(Natural Science Edition)
