什么是“內子集”？

所谓“内子集”（Internal subsets）是指：系统内部的集合，是数理逻辑模型论的一个普通术语。例如。人体的内部脏器，就是这个意思。

回到我们国内互联网，百度百科把“内集”说得很玄乎，“生吞活剥”，叫人不得要领。

请看内集的英语原文，Every internal subset of R is necessarily finite, (e.g. has no infinite elements, but can have infinitely many elements; see Theorem 3.9.1 Goldblatt, 1998). In other words, every internal infinite subset of the hyperreals necessarily contains non-standard elements.

                  这段话的意思已经很清楚，就不必啰嗦了。很显然，不是内子集就是外子集。

    说明：如果我们把函数定义为“序偶集”，所谓“内函数”就不难理解了。

袁萌  1月12日