关系图guanxitu

表示有限集x到y的二元关系R的平面上的图形.有时，可将R的关系图看作关系R自身.
设X= {x₁,x₂，…，x_n)},y= {y₁,y₂，…，y_n).在平面上选定用小圆圈表示的点x₁,x₂，…，x_m; y₁,y₂，…，y_n. 当且仅当 (x_i ,y_j) ∈R，有x_i到y_j的有向线(箭头指向为x_i到y_j)，这样得到的图形就是R的关系图.
例如，x= {1,2,3,4),y= {a,b},R={ (1,a),(2,b),(3,6)). 则R的关系图可表示为

集x上的二元关系R也可用关系图表示，当 (x,x)∈R时，点x到自身有有向圈，而 (x₁,x_j) ∈ R且 (x_j,x_i) ∈ R时，则既有从x_i到x_j的有向线，又有x_j到x_i的有向线(按定义，它们是不同的！).
例如，A= {1,2,3,4,5} 上的二元关系R={ (1,1),(2,3),(1 ,2),(2,1),(3,4),(5,5)} 的关系图为

给出关系R，因选取代表元素的点的位置不同，会得到表面形象上不相同的关系图.当然，它们刻划的是同一个关系：不仅点数、边数一样多，并且点之间是否有有向线相联是完全相同的.
由关系R的关系图，将所有有向线改变方向就得到逆关系R^c的关系图.