En el caso de los homomorfismos de grupos, tenemos que la primera condición implica a las otras dos.