上游充鱼大姿 SJTU School Of Software 2009-2-2 2.3关系 给定2个集合A和B,关系R是笛卡尔积A×B的 一个子集。 关系的属性： 自反的：当且仅当所有a∈A,〈a,a>∈R; 对称的：当且仅当<a,b>∈R→<b,a>∈R; 反对称的：当且仅当<a,b>、<b,a>∈R→a=b; 传递的：当且仅当<a,b>、<b,c>∈R→〈a,c>∈R; 排序关系：自反、反对称和传递的；（小于等于） 等价关系：自反、对称和传递的；（同班同学） 软件学院SJTU School Of Software 2009-2-2 软件学院 2.3 关系 给定2个集合A和B，关系R是笛卡尔积A × B的 一个子集。 关系的属性： 自反的：当且仅当所有 a∈A,<a,a>∈R; 对称的：当且仅当<a,b>∈R ⇒ <b,a>∈R; 反对称的：当且仅当<a,b>、<b,a> ∈R ⇒ a=b; 传递的：当且仅当<a,b>、<b,c> ∈R ⇒ <a,c>∈R; 排序关系：自反、反对称和传递的；（小于等于） 等价关系：自反、对称和传递的；（同班同学）