陪域

>mathmathmath

陪域(Codomain)，給定一個函式<math>f: A\RightArrow B</math>，集合<math>B</math>稱為是<math>f</math>的陪域。
陪域不應跟值域<math>f(A)</math>混淆起來，一般來說，值域只是陪域<math>B</math>的一個子集。
例：設函式<math>f</math>為一個實數到實數的函式，即： <math>f: \mathbb{R}\rightarrow\mathbb{R}</math>
定義為 <math>f\colon\,x\mapsto x^2</math>
這裡<math>f</math>的陪域為實數<math>\mathbb{R}</math>，但是可以明確的是函式<math>f(x)</math>不會有負的函式值，因此，事實上這裡的值域為非負的實數<math>\mathbb{R}^+</math>，即： <math>0\leq f(x)<\infty</math>
這裡可以定義另外一個函式<math>g</math>:
<math>g:\mathbb{R}\rightarrow\mathbb{R}^+</math>
<math>g:\,x\mapsto x^2</math>
雖然在給定了數的情況下<math>f</math>和<math>g</math>具有相同的效果，但是在現代觀點來看，它們由於擁有不同的陪域而不被認為是相同的函式。
陪域是否影響函式決定於它是否為一個滿射。在上面的例子中，<math>g</math>是一個滿射，而<math>f</math>不是。