A真包含于B:意味着 对于任意的x属于A,x必属于B,存在Y属于B,但不属于A;
A交B=A: 意味着 对于任意的X 属于A,X必属于B;
所以可知,前一个结论可以推出后一个,而后一个推不出前一个,所以为必要条件