证明集合的包含关系和相等的常用的方法