两个集合相等当且仅当他们的元素完全相同，否则，A 和 B 不相等 $$ \forall x,\forall y,\forall a ,[a \in x \iff x \in y] \implies x = y