如果集合不是有限集合，则称为无限集合（无限集）。
注：无限集的定义在王朝里有过定义为含有无限个元素的集合，定义虽然没有错，但是不够严密，数学判断性不强。这里给出了一个基于有限集的定义，而有限集合的定义是明确的，所以无限集合的判断也是确定的了。