Let be a Morphism in Category
We say is a monomorphism if

for all
We denote a monomorphism by

In Category of Sets, monomorphisms are injective.