数学符号。集合中表示子集的符号。中文读作包含。
定义：
对于两个集合A与B，如果集合A的任何一个元素都是集合B的元素，就说集合A包含于集合B，或集合B包含集合A，也说集合A是集合B的子集。
如B包含A，说明A是B的子集；或如A包含于B，也说明A是B的子集。如果集合A的任何一个元素都是集合B的元素，而集合B中至少有一个元素不属于集合A，则称集合A是集合B的真子集。
空集是任何集合的子集。任何一个集合是它本身的子集。空集是任何非空集合的真子集。
