包含的符号有⊇、⊆、⫋。
⊆是包含于符号:A包含于B-则A为B的子集或等于B。
⊇是包含符号:A包含B-则B为A的子集或等于A。
⫋真包含:A真包含于B-则A为B的真子集,若B={1,2},则A={1}或{2}或空集。
定义
如果集合A的任意一个元素都是集合B的元素(任意a∈A则a∈B),那么集合A称为集合B的子集,记为A⊆B或 B⊇A,读作“集合A包含于集合B”或集合B包含集合A”。
即:∀a∈A有a∈B,则A⊆B。
真子集:
如果集合A是B的子集,且A≠B,即B中至少有一个元素不属于A,那么A就是B的真子集,可记作:A⊊B。
符号语言:若∀a∈A,均有a∈B,且x∈B使x∉A,则A⊊B。