↑例2设A={1,2,3,4},A上的大于关系>定 义为>={<2,|>,<3,1>,<4,1>,<3, 2>,<4,2>,<4,3>}.则关系>的关系矩阵 f0000 M(>)100 集合A中元素的排序是1,2,3,4,即1对应第1行、第1列,依此类推
例2 设A＝{1，2，3，4}，A上的大于关系>定 义为>={<2，l>，<3，1>，<4，1>，<3， 2>，<4，2>，<4，3>}．则关系>的关系矩阵 是
2.2关系 定义10.2.2设集合×一{x1,×2,…,Xm},Y {y1,y2 1)若只是X到Y的一个关系,则R的关系图是一个有向图 G(R)=<V,E>,它的顶点集是∨=X∪Y,边集是E,从 到y的有向边ej∈E,当且仅当<xi,yj>∈R (2)若R是Ⅹ上的一个关系,则R的关系图是一个有向图 G(R)=<V.E>,它的顶点集是∨=X,边集是E,从x到 j的有向边e∈E当且仅当<x,×j>∈R 关系图十一条有向边e对应R中的一个有序对<xi,xj>, 者一一对应.图形表示形象直观,易于理解
10．2．2 关系 定义10．2．2 设集合X＝{x1，x2，…，xm}，Y＝ {y1，y2，…yn}． (1)若只是X到Y的一个关系，则R的关系图是一个有向图 G(R)＝<V，E>，它的顶点集是V＝X∪Y，边集是E，从 xi到yj的有向边eij∈E，当且仅当<xi，yj>∈R． (2)若R是X上的一个关系，则R的关系图是一个有向图 G(R)＝<V．E>，它的顶点集是V＝X，边集是E，从xi到 xj的有向边eij∈E当且仅当<xi，xj>∈R． 关系图十一条有向边eij对应R中的一个有序对<xi,xj>， 二者一一对应．图形表示形象直观，易于理解．
↑例3对例1中的×到Y的 关系R,关系图G(R)如 图10.2.1所示.在 ≠Y时.为了图示清楚, 通常把定义域的元素x1 X2等画在一边,把值域 中的元素y1,y2画在另 边 图10.2,1
例3 对例1中的X到Y的 关系R，关系图G(R)如 图10．2．1所示．在 XY时．为了图示清楚， 通常把定义域的元素x1， x2等画在一边，把值域 中的元素y1,y2画在另 一边．
↑例4对例2中的A上的 关系>,关系图G(>) 如图10.2.2所 示.对A上的关系.关 系图中一般小区分定 义域和值域,每个顶 点既可以发出有向边, 又可以收到有向边 图10.2,2
例4 对例2中的A上的 关系>，关系图G(>) 如图10．2．2所 示．对A上的关系．关 系图中一般小区分定 义域和值域，每个顶 点既可以发出有向边， 又可以收到有向边．
↑例5对A={a,b,C}上的关系R={<a,a>, <a,b>,<b,b>,<b,C>},关系图G(R如图 10.2.3所示,图中从a到a的有向边ea表示 <a,a>∈R,这类有向边称为自圈 10,2
例5 对A={a，b,c}上的关系 R＝{<a，a>， <a，b>,<b,b>，<b，c>}，关系图G(R)如图 10．2．3所示．图中从a到a的有向边eaa表示 <a,a>∈R，这类有向边称为自圈．