Remark

The first and the third condition in the definition of morphism follow from the second. See the next proposition.