全射
ぜんしゃ surjection (math) onto(-)mapping epimorphism