这是集合相关的概念
一般,我们用大写字幕表示集合,比如A、B等,而用小写字母表示元素,比如a、b等
当然,集合本身也可以是另一个集合的元素
若集合A中的所有元素都是集合B中的元素,则称集合A为B的子集,符号为A⊆ B或B⊇A,读作A包含于B或B包含A。即:∀a∈A有a∈B,则A⊆B。
根据子集的定义,我们知道A⊆A。也就是说,任何一个集合是它本身的子集。
对于空集∅,我们规定∅⊆A,即空集是任何集合的子集。
真子集
如果集合A是B的子集,且A≠B,即B中至少有一个元素不属于A,那么A就是B的真子集,可记作:A⊊B。
如上面的文氏图中,集合A就是集合B的真子集