真包含于关系是一个概念的全部外延与另一个概念的部分外延相重合。例如,“女运动员”和“运动员”,“犯罪行为”和“
违法行为”等。
S和P之间具有真包含于关系,可以用
欧拉图表示如下:
24555FB2-CB6D-425F-867B-582D12557843.png
需要注意的是,真包含和真包含于互为逆关系,即当S和P之间具有真包含关系时,P和S之间就具有真包含于关系;反之,如果S和P之间具有真包含于关系,则P和S之间就具有真包含关系。而且,在真包含关系和真包含于关系中,外延较大的叫属概念,外延较小的叫种概念,所以,真包含关系又称属种关系,真包含于关系又叫种属关系。