如题所述
⊆是包含于符号: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均有包含于关系,但不能说它们有真包含于关系。