包含的符号有⊇、认额⊆、⫋。
⊆是包含包字夫于符号: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。