关于映射中实际使用的定义域子集的名称咨询

嘿，你说得对！函数里陪域（codomain）中被实际映射到的子集确实叫值域（range）。

至于定义域里真正被用到的那部分子集，其实有几个常用的称呼：

• 有效定义域（effective domain）：这是最通用的术语，专门用来指代函数实际执行映射操作的那部分定义域。
• 支撑集（support）：不过这个说法更多出现在分析学、测度论这类领域里，特指函数取值非零（或者说非平凡）的定义域子集，属于特定场景下的叫法。
• 有时候也会直接说“函数的定义域限制对应的集合”，但这个更偏向操作描述，不算专门的命名。

额外提一句：在一些严谨的数学定义语境里，也有人直接把这个子集称作函数的“真定义域”，但日常讨论里有效定义域是最容易被大家理解和接受的说法哦。

备注：内容来源于stack exchange，提问作者Robin Andrews