關係包含

關係的包含(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的推廣.例如,平面直線的垂直關係是相交關係的子關係.由於關係是有序對的集合,故關係的包含實際上是特殊集合之間的包含.

基本介紹

  • 中文名:關係包含
  • 外文名:inclusion of relation

相關詞條

熱門詞條

聯絡我們