有限集合是由有限個(gè)元素組成的集合，也叫做有窮集合。一個(gè)有限集合可以是一個(gè)線段對等于自然數(shù)串，又可以為空集。相反地，不是有限集合的集合被稱為無限集合。非空有限集合不能與它的真子集合或真母集合對等。每一個(gè)非空有限集合只對等于自然數(shù)串的一個(gè)線段。有限集合的任一子集合仍然是有限集合，而無限集合的任一母集合也是無限集合。有限集合A的元素?cái)?shù)始終大于其真子集合B的元素?cái)?shù)。由所有自然數(shù)組成的集合N以及包含與N對等的子集合的集合，都是無限集合。每個(gè)無限集合都包含一個(gè)可數(shù)集合。