查看“︁映射的集合”︁的源代码

{{非标准称呼}}

对集合 <math>X</math> 、 <math>Y</math> ，全体从 <math>X</math> 到 <math>Y</math> 的映射可以看作对 <math>X</math> 中的每个元素都有一个 <math>Y</math> 进行笛卡尔积 <math>\prod_{x \in X} Y</math> ，类比与累乘和乘方的关系，可以简写为 <math>Y^X</math> 。即 <math>Y^X = \{ f \mid f: X \to Y \}</math> 。

注：顺序上，定义域在指数位置，陪域在底数位置。

注：也有人称'''叠集'''。