第七章已经定义了有限集合与无限集合。 下面给出更严格的定义。 　　定义12.3.1 　　定理12.3.1 　　推论12.3.2 　　推论12.3.3