⊆是包含于符号，⊇是包含符号。对于两个集合A，B，如果集合A中任意一个元素都是集合B中的元素，我们就说这两个集合有包含关系，称集合A为集合B的子集。

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

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

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