有限集是指 由有限个元素组成的集合，也称有穷集合。具体来说，如果一个集合的元素个数可以用某个自然数来表示，那么这个集合就是有限集。有限集包括单元素集合、非空集合和空集。空集是唯一一个不含任何元素的集合，通常用希腊字母Φ（或{}）来表示。
有限集的定义还可以从集合的基数来描述：有限集的基数是一个自然数，表示集合中元素的个数。如果存在一个从集合到自然数集的一一对应函数，那么这个集合就是有限的。反之，如果不存在这样的函数，则该集合是无限的。
此外，有限集与无限集之间存在明确的界限。无限集是指那些元素个数无法用任何自然数来表示的集合，而有限集则恰好相反，其元素个数是有限的。在集合论中，空集被特别定义为有限集合，并且是任何集合的子集。
综上所述，有限集是由有限个元素组成的集合，其元素个数可以用自然数来表示，并且可以与自然数集建立一一对应关系。