在数学中，从集合中所含元素个数的角度观察集合，可有无限集和有限集之分。若用|A|表示集合A中所含元素的个数，则当|A|为有限数时，称A为有限集。否则称之为无限集。当集合不含任何元素时称为空集，用∅表示。非空有限集简单地来说就是不包含空集，至少包含一个元素的有限集合，也可以称之为非空有限集合。集合（简称集）是数学中一个基本概念，它是集合论的研究对象，集合论的基本理论直到19世纪才被创立。含有有限个元素的集合A叫做有限集，用cardinal来表示有限集合A中元素的个数，缩写为card。例如A={a，b，c，}，则card（A）=3。当集合不含任何元素时称为空集，用∅表示，空集也被认为是有限集合。非空有限集简单地来说就是不包含空集，至少包含一个元素的有限集合，也可以称之为非空有限集合。非空有限集在形式语言、编译原理都有着具体的应用。