包含符号是⊇。⊆是包含于符号A包含于B-则A为B的子集或等于B。⊇是包含符号A包含B-则B为A的子集或等于A。⫋真包含A真包含于B-则A为B的真子集，若B={1，2}，则A={1}或{2}或空集。包含于关系是一个概念的外延包含在另一个概念的外延之中的关系。“凡S是P”，则S与P有包含于关系。同真包含于关系有所不同。

包含的符号概念

集合（简称集）是数学中一个基本概念，它是集合论的研究对象，直到19世纪集合论的基本理论才被创立，集合里的样本，叫作元素。若x是集合A的元素，则记作x∈A。集合中的元素有三个特征确定性。互异性。例如：集合A={1，a}，则a不能等于1）。无序性，如集合{3，4，5}和{3，5，4}算作同一个集合。