1、刚才已经提到，联系人中地址包容的二元关系由关系型假定为一对多的关系。

2、基于二元关系理论，给出了与网格服务关系相关的一些概念。

3、直接根据现有离散数学教材中二元关系反对称性的定义，来判定二元关系的反对称性，有时比较困难。

4、集合上的二元关系称做相容关系，如果它是自反的、对称的。

5、对此，应当从角色理论、尊重少数理论、犯罪相对性理论、权力的隐形操作理论和犯罪二元关系理论加以把握。

6、文章对可传递关系进行了相应的讨论，并在此基础上给出了有限集合上可传递二元关系的矩阵判别方法。

7、两种表达都建立各自的渣滓之间的二元关系。

8、通过二元关系核运算性质的研究，定义出任何一个二元关系的商集。

9、换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。

10、它包含的概念有父子数据对象关系、二元关系、数据对象上允许的属性、默认值，等等。

11、一个集合上的二元关系，如果它是自反的也是对称的，可称它为相容关系。

12、辅助关系是定义在偏序集上的一种重要的二元关系。

13、判断矩阵是否是自反的，对称的，离散数学中的二元关系。

14、可传递二元关系的判定是离散数学中的一个难点。

15、注意：关系型假定所有包容关系都是一对多的二元关系。

16、本文给出了判断可传递二元关系的一个充要条件，以及在计算机上实现的具体算法。