令n*是正整数的全体，且n_n={1，2，3，……，n},如果存在一个正整数n，使得集合a与n_n一一对应，那么a叫做有限集合。
空集也被认为是有限集合。
说明：很多资料里有限集合也被称为有限集，但是百度百科里已经有人给出了一个不严密的有限集的定义，这里就用有限集合来定，以示区别。