Question

包含怎么理解符号？有哪些？

Answer 1

包含的符号有⊇、⊆、⫋。

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