由有限個元素組成的集合
有限集是由有限個元素組成的集合。以下是一些有關有限集的介紹：
舉例。由北京、天津、上海三個直轄市組成的集合，以及由所有小於10000的質數所組成的集合都是有限集合。只含一個元素的集合是一種特殊的有限集合，被稱為單元素集合。至少含有一個元素的集合被稱為非空集合。不含任何元素的集合被稱為空集，空集只有一個，通常用希臘字母Φ（或{}）來表示。
定義。有限集合有兩種常用的定義方式。一是與自然數串的一個線段對等的集合，以及空集合，都叫做有限集合；不是有限集合的集合叫做無限集合。另一個定義是：不可與其自身的真子集對等的非空集合，以及空集，都叫做有限集合。
特性。有限集還有一個重要的特性是，它們可以與自然數集{1，2，3…n}建立一一對應關係。這意味著有限集的元素個數是固定的，並且可以用一個自然數來表示。例如，集合{1，2，3}的基數是3。
通過這些定義和特性，可以更準確地理解有限集的概念。