In matematica, particolare morfismo (➔) tra due insiemi A, B dotati di struttura algebrica, che si ha quando a elementi distinti di A vengono a corrispondere elementi anch’essi distinti di B. Nel diagramma a frecce di un m. non vi sono perciò frecce che abbiano uno stesso punto di arrivo.