集合的相等关系

外延性原理

相等的证明经常用到 集合的包含关系

集合的元素是无序且不同的，这说明重复的元素需要看成一种相同的元素