黄小宁 数学图可是“离散”的点组成的点集N=｛0，1，2，…，n，…0｝（各数是点的坐标）。设本文所说集合往往是元不少于两个的集。定义：若数（点）集A可保距变为B则称A≌B。显然A≌A。 变量n取自然数∈N，“自然数集”N一切≥1的元n≥1组成N+=｛n≥1｝中的 n≥1只是表示n可取N一切≥1的数。读者画出点集N、N+的图像可一眼看出N=｛x=n≥0｝不≌其子部N+。点集N=｛x=n≥0｝=｛0