二元关系

一.关系的定义

关系的定义是笛卡尔积的子集，也就是说关系的本质是一个子集。如果是二元关系，那么这个子集里面就会有很多的二元有序对如<a,b>,<a,c>.....根据这个关系里面二元有序对满足的一些条件，我们又可以概括出一些A上的常见的关系，比如全域关系，恒等关系等等。

二.关系的性质

我们可以通过关系矩阵和关系图来直观的表示关系，关系矩阵能够很好的表示二元关系。关系上面的一些性质也能和关系矩阵的一些性质对应起来。研究关系，只要研究关系的三种性质，自反性，对称性，传递性。但是并不是每种关系都会满足以上的性质，那么怎么办呢？我们就用关系闭包的方式， 使得我们研究的关系能够满足以上的三种性质，这样就会定义出三种闭包：自反闭包、对称闭包、传递闭包。