上域(codomain)或称为靶(target),给定一个函数 ,集合 称为是 的上域。上域不应跟值域 混淆起来,一般来说,值域只是上域 的一个子集。
设函数为一个实数到实数的函数,即:
定义为
这里 的上域为实数,但是可以明确的是函数 不会有负的函数值,因此,事实上这里的值域为非负的实数,即:
这里可以定义另外一个函数:
虽然在给定了数的情况下 和 具有相同的效果,但是在现代观点来看,它们由于拥有不同的上域而不被认为是相同的函数。
上域是否影响函数决定于它是否为一个满射。在上面的例子中, 是一个满射,而 不是。