終域

数学において写像の終域（しゅういき、英: codomain; 余域）あるいは終集合（しゅうしゅうごう、英: target set）は、写像を f: X → Y と表すときの集合 Y、すなわち写像 f の出力する値がその中に属するべきという制約を定める集合をいう。終域の代わりに「値域」という語を用いる場合もあるが、値域は写像の像（出力される値すべてからなる集合、f: X → Y で言えば f(X)）の意味で用いることが多いので注意すべきである。