有限集合名词解释

有限集合是由有限个元素组成的集合，也叫做有穷集合。一个有限集合可以是一个线段对等于自然数串，又可以为空集。相反地，不是有限集合的集合被称为无限集合。非空有限集合不能与它的真子集合或真母集合对等。每一个非空有限集合只对等于自然数串的一个线段。有限集合的任一子集合仍然是有限集合，而无限集合的任一母集合也是无限集合。有限集合A的元素数始终大于其真子集合B的元素数。由所有自然数组成的集合N以及包含与N对等的子集合的集合，都是无限集合。每个无限集合都包含一个可数集合。