「終域」の版間の差分

 

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