关系的包含(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的推广.例如，平面直线的垂直关系是相交关系的子关系.由于关系是有序对的集合，故关系的包含实际上是特殊集合之间的包含.