全射

集合$G$の全ての元を写像したものが$G'$になるとき、この写像を全射という.