全射 の意味 | Babel Free
定義
終域の全ての要素が始域の要素と対応付けされている写像。終域の各要素を像とするような一つあるいは複数の始域の要素が存在する写像。始域の集合を A とし、終域の集合を B とするとき、写像 f: A → B が全射であれば、B の任意の要素 b ∈ B に対して f(a) = b を満たす a ∈ A が存在する。
終域の全ての要素が始域の要素と対応付けされている写像。終域の各要素を像とするような一つあるいは複数の始域の要素が存在する写像。始域の集合を A とし、終域の集合を B とするとき、写像 f: A → B が全射であれば、B の任意の要素 b ∈ B に対して f(a) = b を満たす a ∈ A が存在する。