集合累积分层的问题

台阶

根据集合累积分层的定义，下一个集合应该是上一个集合的幂集。那么像这图里的下一个集合V4里，V3的第4个元素是V3的一个子集，肯定要被放进V4的，但是V3的第1和第2个元素合并起来也构成V3的一个子集，也应该被放进V4的，这个合并出来的子集与刚才提到的V3的第4个元素一样。我的问题是：像这种有重复的情况，得出的幂集里是要留下所有重复的子集还是只保留一个就行了？

elim

根据外延公理，重复枚举一个集合的原素不改变该集合．