当两个集合A与B相等时，它们互为子集。

回忆一下子集的定义：对于两个集合A与B，如果集合A中的每一个元素x，x都是集合B中的元素，则称集合A是集合B的子集。所以，如果集合A是集合B的子集，则集合A中的元素都在集合B中，同时，集合B是集合A的子集，则集合B中的元素也都在集合A中，所以两个集合中的元素是完全相同的，则A=B。

另外集合相等也是这样定义的。