集合$G$の元から、集合$G'$の元への写像により、$G$の元の元が必ず$G'$の1つの元に写像されるとき、このような写像を単射という.