陪域（Codomain）是數學中的一個概念，指的是映射的定義中目標集合的範圍。具體來說：
定義：當考慮一個映射 ( f ) 從集合 ( A ) 到集合 ( B ) 時，( B ) 被稱為 ( f ) 的陪域。這意味著對於映射 ( f ) 中的每一個元素（原象）( a \in A )，都存在一個唯一的元素（象）( b \in B ) 使得 ( f(a) = b )。陪域是包含所有可能輸出值的集合，即使並非所有輸出都由定義域中的元素映射到。
與值域的關係：陪域包含了映射可能達到的所有值，而值域是指那些實際被映射到的具體值。換句話說，值域是陪域的子集，因為並非陪域中的每個元素都必須是映射的結果。
例子：考慮一個函式 ( f(x) = x^2 ) 從實數集 ( A ) 到非負實數集 ( B )。這裡的陪域是 ( B )，即所有可能的輸出值，包括0和正數。而值域是定義域中元素映射到的具體值，即所有正數和0，因為 ( x^2 ) 的結果是非負的。
特性：一個函式可以是滿射（或稱為上射），這意味著它的值域等於其陪域，即對於陪域中的每個元素，都至少有一個定義域中的元素與之對應。然而，函式也可以是部分定義的，這意味著它的值域可能只是陪域的一個子集。
通過以上解釋，我們可以看到陪域在數學中的重要性，它幫助我們理解映射可以到達的範圍，以及值域實際上覆蓋了哪些點。