1、可传递二元关系的判定是离散数学中的一个难点。
2、基于二元关系理论，给出了与网格服务关系相关的一些概念。
3、辅助关系是定义在偏序集上的一种重要的二元关系.
4、注意：关系型DAS假定所有包容关系都是一对多的二元关系。
5、集合A上的二元关系R称做相容关系，如果它是自反的、对称的。
6、两种表达都建立各自的渣滓之间的二元关系。
7、直接根据现有离散数学教材中二元关系反对称性的定义，来判定二元关系的反对称性，有时比较困难。
8、通过二元关系核运算性质的研究，定义出任何一个二元关系的商集。
9、判断矩阵是否是自反的，对称的，离散数学中的二元关系。
10、刚才已经提到，联系人中地址包容的二元关系由关系型DAS假定为一对多的关系。
11、换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
12、一个集合上的二元关系，如果它是自反的也是对称的，可称它为相容关系。
13、它包含的概念有父子数据对象关系、二元关系、数据对象上允许的属性、默认值，等等。
14、本文给出了判断可传递二元关系的一个充要条件，以及在计算机上实现的具体算法。
15、文章对可传递关系进行了相应的讨论，并在此基础上给出了有限集合上可传递二元关系的矩阵判别方法。
16、对此，应当从角色理论、尊重少数理论、犯罪相对性理论、权力的隐形操作理论和犯罪二元关系理论加以把握。