數學之中，一個集合被稱為有限集合 if and only if 一個自然數 n 令嗰個集合同集合 {1,2,...,n} 之間存在雙射。例如 -15 到3 之間嘅整數所組成嘅集合，呢個集合有17 個元素，所以佢係有限嘅。所有質數嘅集合都唔係有限嘅。唔係有限嘅集合叫做無限集合。
所有嘅有限集合都係可數嘅，但並唔係所有嘅可數集都係有限嘅。
戴德金定理就係指：當只有唔存在一個該集合同佢嘅任何一個真子集之間嘅雙射嘅集合，嗰個集合先至係有限嘅。亦都即係話如果一個集合嘅基數係自然數，咁呢個集合就係有限嘅。
