真子集

如果集合A⊆B,但存在元素x∈B,且x∉A,我们称集合A是集合B的真子集,记作:A⫋B 或B⫌A。