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