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