關係包含

關係的包含(inclusion of relation)對關係的一種刻畫.即關係作為集合時的包含.設R,G是兩個關係，且若RcX XY,GcX XY,RcG，則稱關係G包含關係R.記為RcG或GAR.當RcG時，稱R是G的子關係，G是R的母關係.當R是G的子關係時，對任何二EX,yEY，如二為，則二湯.故又稱關係G是關係R的推廣.例如，平面直線的垂直關係是相交關係的子關係.由於關係是有序對的集合，故關係的包含實際上是特殊集合之間的包含.