包含于关系

包含于关系是一个概念的外延包含在另一个概念的外延之中的关系。即：“凡S是P”，则S与P有包含于关系。同真包含于关系有所不同。如“S是P而且P是S”（即S与P在外延上为全同关系），可以说S与P和P与S均有包含于关系，但不能说它们有真包含于关系。只有当“凡S是P而且有P不是S”时，S才真包含于P，S与P才有真包含于关系。而S与P有包含于关系则仅要求“凡S是P”、而并不要求“有P不是S”。