到达域 對應域英語Codomain或稱為陪域餘定義域上域终域共变域目標集合 在數學領域中一個函數的對應域指的是至少包含所有此函數的輸出值的一個集合在函數符號 f  X  Y displaystyle fcolon Xrightarrow Y 中 Y displaystyle Y 是函數 f displaystyle f 的對應域 f displaystyle f 的值域是 Y displaystyle Y 的一個子集若 f displaystyle f 是一個滿射函數則 f displaystyle f 的對應域和值域相等反之則代表有 y  Y displaystyle yin Y 不存在於 f displaystyle f 的值域中使得方程式 f  x   y displaystyle fxy 無解