到达域

對應域（英語：Codomain），或稱為陪域、餘定義域、上域、终域、共变域、目標集合。 在數學領域中，一個函數的對應域指的是至少包含所有此函數的輸出值的一個集合。在函數符號中，是函數的對應域。 的值域是的一個子集，若是一個滿射函數，則的對應域和值域相等，反之則代表有不存在於的值域中，使得方程式無解。