Question

什么是a包含b?

Answer 1

a包含于b的符号是⊆，⊇是包含符号。

对于两个集合A，B，如果集合A中任意一个元素都是集合B中的元素，我们就说这两个集合有包含关系，称集合A为集合B的子集。

符号：

⊆是包含于符号：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。