这个问题可以从“交集”、“包含”和“包含于”这些定义开始考虑.
“集合A和集合B交集等于集合A 箭头 集合A包含于集合B”的意思是“集合A和集合B交集等于集合A 能推导出 集合A包含于集合B”.
“集合A和集合B交集等于集合A”的含义是A和B集合的共有元素组成的集合正好是A,隐含着A的元素在B中也有,所以可以得到A包含于B.
“A包含于B”的意思是A中的所有元素在B集合也存在.
“A包含于B”等价于“B包含A”