反证法:假如A不包含于B,即存在元素a属于A,且a不属于B
所以A∩B=A/{a} 跟题目矛盾,所以假设不成立,所以A包含于B