有限集合

一套其元素可以通过编号从1到,对于某个正整数.数字被称为基数集合的，和通常表示或换句话说，是相等的到集合。我们只是这么说有元素。这个空集合也被认为是有限的集，及其基数为0。

有限集也可以被描述为一个非无限的集，即一个不等价于其任何适当子集的集。事实上，如果、和，某个数字的元素不属于，所以.

对于所有人,具有精确元素（所谓的k个-子集,或组合属于元素（共个）)等于二项式系数

			(1)
			(2)

因此子集属于（即基数第个，共个动力装置)是

			(3)
			(4)
			(5)

凭借二项式定理.

分配给每个k个-子集属于它的补码集定义一组k个-子集和一套-子集属于这证明了身份

(6)

以下要素的可能安排被称为排列属于秩序它们都产生相同的有限依次的,因为它们本质上是相同的；它们可以简单地相互转换通过重命名元素。的数量排列秩序井然是

(7)

这叫做 阶乘的事实上，当通过将图元放置在给定位置第一个元素的可能选择有留到第二个，依此类推。

关于这个符号组合属于元素可以写为

(8)

每个元素的元素k个-子集引起不同的排列，以便可能的排列总数元素（共个）是

(9)