陪域(Codomain)，给定一个函数f : A → B，集合B称为是f的陪域。

陪域不应跟值域f(A)混淆起来，一般来说，值域只是陪域B的一个子集。

例：设函数f为一个实数到实数的函数，即：f : R → R

定义为 f (x) = x^2

这里f的陪域为实数R，但是可以明确的是函数 f(x) 不会有负的函数值，因此，事实上这里的值域为非负的实数 R^+ 。

这里可以定义另外一个函数g

g : R → R^+

g(x) = x^2

虽然在给定了数的情况下 f 和g 具有相同的效果，但是在现代观点来看，它们由于拥有不同的陪域而不被认为是相同的函数。

陪域是否影响函数决定于它是否为一个满射。在上面的例子中，g 是一个满射，而 f 不是。