到達域

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