应域（），或称为陪域、余定义域、上域、目标集合（）。在数学领域中，一个函数的对应域指的是至少包含所有此函数的输出值的一个集合。在函数符号formula_1中，formula_2是函数formula_3的对应域。formula_3的值域是formula_2的一个子集，若formula_3是一个满射函数（），则formula_3的对应域和值域相等，反之则代表有formula_8不存在于formula_3的值域中，使得方程式formula_10无解。
例.Sect