包含于符号(包含和真包含的符号)

⊆是包含于符号A包含于B-则A为B的子集或等于B。

⊇是包含符号A包含B-则B为A的子集或等于A。

⫋真包含A真包含于B-则A为B的真子集，若B={1，2}，则A={1}或{2}或空集。

包含于关系

包含于关系是一个概念的外延包含在另一个概念的外延之中的关系。即“凡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”。