有限集上二元关系性质的判定  

Judgment on the properties of binary relation in a finite set

作　　者：张松敏[1] 

机构地区：[1]洛阳理工学院计算机与信息工程系,河南洛阳471023

出　　处：《计算机时代》2013年第4期51-52,共2页Computer Era

摘　　要：离散数学中,二元关系自反、反自反、对称、反对称和传递性的判定是学习等价关系、相容关系和偏序关系的重要基础知识,为使读者灵活掌握二元关系五种性质的判定,分别从关系性质的定义、关系矩阵、关系图和关系运算四方面对二元关系五种性质的判定方法进行了探讨。In discrete mathematics, the judgment on the proprieties of binary relation including reflexive, anti-reflexive, symmetric, anti-symmetric and transitive is important basic knowledge in learning equivalence relation, compatible relation and partially ordered relation. In order to let the readers master the judgment methods easily, the methods are summarized and discussed from definition of the properties of binary relation, relation matrix, relation graph and relation operation.

关 键 词：二元关系性质 关系矩阵 关系图 关系运算 判定方法 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]