到达域



上域(codomain)或称为靶(target)或是对应域,是函数概念中的一部分。给定一个函数,集合
称为是
的上域。上域不应跟值域
混淆起来,一般来说,值域只是上域
的一个子集。
设函数为一个实函数,即:
定义为
这里的上域为实数集
,但明显地函数
不会有负的函数值,因此,事实上这里的值域为非负实数集
,即:
这里可以定义另外一个函数:
虽然和
对于输入值具有相同的效果,但从现代观点来看,它们由于拥有不同的上域而不被视为是相同的函数。
函数是否为满射,这点跟上域的选取很有关系。在上面的例子中,是一个满射,而
不是。