単射
たんしゃ injection (math) monomorphism