推论:若A是无限集,则NA| 可列集是无限集中基数最小的 0,1是无限集,且0,1|=c≠N, 所以c>N0 定理413(蔡罗 Zermelo定理):设A和B 是任意两个集合,那么|<BBA,A= B三者中恰有一个成立。 对于基数集,对于基数集上任一元素A|,因为 AcA,则A至A,自反。 由定理412(2)若A|s|BBsC则AC知 传递, 是否反对称呢?推论:若A是无限集,则|N|≦|A|。 可列集是无限集中基数最小的 [0,1]是无限集，且|[0,1]|=c0 , 所以c>0 定理4.13(蔡梅罗(Zermelo)定理 ):设A和B 是任意两个集合, 那么|A|<|B|,|B|<|A|,|A|= |B|三者中恰有一个成立。 对于基数集，对于基数集上任一元素|A|，因为 AA,则|A|≦|A|，自反。 由定理4.12(2)(若|A|≦|B|,|B|≦|C|,则|A|≦|C|)知 传递， 是否反对称呢？