包含於關係

包含於關係是一個概念的外延包含在另一個概念的外延之中的關係。即：“凡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”。